Build #598 (Jul 10, 2020 3:14:41 PM)

PR #3013: Add Python API and document...

	No changes.
	GitHub pull request #3013 of commit 63e9b05b06701989be419734b336fec69071c6a6, no merge conflicts.

Configurations