Build #160 (Dec 5, 2019 5:26:50 AM)

PR #2634: rename tool lockstat.py to ...

	No changes.
	GitHub pull request #2634 of commit b521c8263d45b0249c6faa14dad76446c698824b, no merge conflicts.

Configurations