Build #88 (Oct 14, 2019 7:45:51 PM)

PR #2551: Changed Link to HTTPS

	No changes.
	GitHub pull request #2551 of commit ba71dd869d72e231ba6dfb6139f8dcda09454ade, no merge conflicts.

Configurations