Build #79 (Sep 30, 2019 4:35:40 PM)

PR #2536: INSTALL.md: Fedora 30: note...

	No changes.
	GitHub pull request #2536 of commit 71a882a542830a3d949e5fe2b20e1edcfe3a6b0e, no merge conflicts.

Configurations