Build #543 (Jun 10, 2020 6:25:25 PM)

PR #2962: tools: fix a python 3 map i...

	No changes.
	GitHub pull request #2962 of commit ca52c6badbd783762e0cdc382b6f1fdad0cd0f03, no merge conflicts.

Configurations