Build #94 (Oct 19, 2019 6:36:05 PM)

PR #2561: document the release info r...

	No changes.
	GitHub pull request #2561 of commit deb5c919ff7b1c942f376e211a8e7774956b7d1e, no merge conflicts.

Configurations