Build #597 (Jul 10, 2020 5:39:44 AM)

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

	No changes.
	GitHub pull request #3013 of commit 3612ebaff38b635ffba19367fc017447b3a854cc, no merge conflicts.

Configurations