Build #120 (Nov 13, 2019 8:42:17 AM)

PR #2579: Add lockstat tool

	No changes.
	GitHub pull request #2579 of commit 85187b4e4d67e5f497c7f23940060fcd8eff17f4, no merge conflicts.

Configurations