Build #241 (Jan 16, 2020 3:42:09 AM)

PR #2708: fix llvm compilation error

	No changes.
	GitHub pull request #2708 of commit 68ee81a7fb3ed09c62ff02863ee52568a8f4b4e8, no merge conflicts.

Configurations