Build #74 (Sep 24, 2019 11:51:28 PM)

PR #2528: fix compilation errors with...

	No changes.
	GitHub pull request #2528 of commit 7bf072b1c103aa127c6428c27e6e1cb09b48f253, no merge conflicts.

Configurations