Build #151 (Nov 28, 2019 6:20:38 PM)

PR #2618: fix bug for lockstat.py #347

	No changes.
	GitHub pull request #2618 of commit 0e04187e5d41fdadced88c6fa3b56461191845b4, no merge conflicts.

Configurations