Build #864 (Mar 2, 2021 4:31:13 AM)

PR #3290: INSTALL.md: Update and simp...

	No changes.
	GitHub pull request #3290 of commit e8067bb924171bf5b163b50fddbabb29dd28000e, no merge conflicts.

Configurations