Build #442 (Apr 20, 2020 6:40:03 PM)

PR #2880: fix llvm 11 compilation issues

	No changes.
	GitHub pull request #2880 of commit 3c026313125d591f8cb64ab8dd8acaa4bf7a100a, no merge conflicts.

Configurations