Build #31 (Jul 30, 2019 3:11:32 PM)

PR #2474: tools: fix printb usage in ...

	No changes.
	GitHub pull request #2474 of commit 87dd53ddd73f4b7499f53979d909c56fd94720bd, no merge conflicts.

Configurations