Build #269 (Jan 22, 2020 7:58:38 PM)

PR #2714: GitHub actions

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

Configurations