Build #861 (Mar 2, 2021 2:11:39 AM)

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

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

Configurations