Build #443 (Apr 20, 2020 6:56:21 PM)

PR #2880: fix llvm 11 compilation issues

	No changes.
	GitHub pull request #2880 of commit 182b5136f415d71f8bfc9b65d215e83ad268e20f, no merge conflicts.

Configurations