Build #117 (Nov 13, 2019 4:29:12 AM)

PR #2582: add tool: compactsnoop

	No changes.
	GitHub pull request #2582 of commit 4183526abb287485ac9b2745051dec3a1eb71129, no merge conflicts.

Configurations