Build #71 (Sep 24, 2019 2:28:35 AM)

PR #2524: INSTALL.md: add install ins...

	No changes.
	GitHub pull request #2524 of commit 571e998c88ae60f5d0aed11974015d0a311c0e45, no merge conflicts.

Configurations