Build #140 (Nov 18, 2019 5:04:50 PM)

PR #2606: update INSTALL.md for new l...

	No changes.
	GitHub pull request #2606 of commit a758d5c3867a5833d86642cf0ac06a5adc1b731a, no merge conflicts.

Configurations