Build #100 (Oct 28, 2019 4:46:55 PM)

PR #2575: fix compilation errors with...

	No changes.
	GitHub pull request #2575 of commit 6ca8a45af4705ca931dc63e490a98fd0630bef20, no merge conflicts.

Configurations