Build #8 (Jul 10, 2019 5:49:57 AM)

PR #2437: Python linting: Upgrade fro...

	No changes.
	GitHub pull request #2437 of commit 5d383d5da8376ac015fd57242660e3223f918859, no merge conflicts.

Configurations