Build #168 (Dec 10, 2019 5:25:03 PM)

PR #2643: fix a compilation error wit...

	No changes.
	GitHub pull request #2643 of commit 21adbbf9789685893a2278abc4970085f51e6fbf, no merge conflicts.

Configurations