Build #465 (May 5, 2020 5:58:08 AM)

PR #2901: Update INSTALL.md on CentOS...

	No changes.
	GitHub pull request #2901 of commit cc45f7c225ab4a7abed123c85d3aeaa1d46e4ec1, no merge conflicts.

Configurations