Build #441 (Apr 20, 2020 2:39:45 PM)

PR #2879: Improve ubuntu installation...

	No changes.
	GitHub pull request #2879 of commit a176bc3978495abad8f1e137e3da6d44367ed979, no merge conflicts.

Configurations