Build #1065 (Jul 5, 2021 5:19:11 PM)

PR #3525: Fix publish github action o...

	No changes.
	GitHub pull request #3525 of commit 2e7e3c7e884cf78d4c8a6823a1c41d6758eef26e, no merge conflicts.

Configurations