Build #946 (Apr 29, 2021 4:54:33 PM)

PR #3385: Disable -Wmacro-redefined t...

	No changes.
	GitHub pull request #3385 of commit 40d580a647180f857ddcd6b5e88e40c33f395ee6, no merge conflicts.

Configurations