Build #118 (Nov 13, 2019 6:22:57 AM)

PR #2579: Add lockstat tool

	No changes.
	GitHub pull request #2579 of commit 0f13338e019338e3d06023bd7ce937e66aa89e2c, no merge conflicts.

Configurations