Build #589 (Jul 6, 2020 10:30:34 PM)

PR #3006: docs: fix Ubuntu Eoan spelling

	No changes.
	GitHub pull request #3006 of commit 28325621e6146c12fd45cfb49706a7a6afcd24e0, no merge conflicts.

Configurations