Build #139 (Nov 18, 2019 8:48:55 AM)

PR #2579: Add lockstat tool

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

Configurations