Build #9 (Jul 10, 2019 6:13:05 AM)

PR #2431: Travis CI: Lint for Python ...

	No changes.
	GitHub pull request #2431 of commit 3a0dad296324b37d18d2484609eae728fa03b5f8, no merge conflicts.

Configurations