Build #267 (Jan 22, 2020 7:30:54 PM)

PR #2714: GitHub actions

	No changes.
	GitHub pull request #2714 of commit fc0a8e9bdf1f99244964893cd526646bb18add8e, no merge conflicts.

Configurations