Build #112 (Nov 9, 2019 12:36:42 AM)

PR #2582: add tool: compactsnoop

	No changes.
	GitHub pull request #2582 of commit 1eb9d868581caeb90d4b0157cfd4e063ffb5bbb9, no merge conflicts.

Configurations