Build #265 (Jan 22, 2020 6:39:35 PM)

PR #2714: GitHub actions

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

Configurations