Build #313 (Feb 9, 2020 4:51:09 PM)

PR #2747: correctly describe installa...

	No changes.
	GitHub pull request #2747 of commit 89c3b93d74f5635b5acb834e3a8754379b756804, no merge conflicts.

Configurations