Build #722 (Oct 16, 2020 6:18:29 PM)

PR #3139: fix python3 compatible issu...

	No changes.
	GitHub pull request #3139 of commit 5d39331ff471627991c6bf1b229e13c60756ca65, no merge conflicts.

Configurations