Build #242 (Jan 16, 2020 4:13:55 AM)

PR #2708: fix llvm compilation error

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

Configurations