Build #30 (Jul 29, 2019 3:08:39 PM)

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

	No changes.
	GitHub pull request #2474 of commit 0e5f7eda9439fc77027b5fbfac1cfc0821c53f74, no merge conflicts.

Configurations