Build #126 (Nov 15, 2019 8:47:58 AM)

PR #2582: add tool: compactsnoop

	No changes.
	GitHub pull request #2582 of commit 15fbd7cd24e37bfda80326ecdb713be3cc063641, no merge conflicts.

Configurations