Build #524 (Jun 3, 2020 6:17:31 AM)

PR #2946: silence a python travis-ci ...

	No changes.
	GitHub pull request #2946 of commit 4faa3fead84147aea7e4a0fb59a5def8983c15f0, no merge conflicts.

Configurations