Build #297 (Jan 30, 2020 11:53:15 PM)

PR #2729: fix compilation error due t...

	No changes.
	GitHub pull request #2729 of commit 2b06069faa48dcbf698dc60b7aa9ff6772bcd4c8, no merge conflicts.

Configurations