Build #273 (Jan 22, 2020 9:37:51 PM)

PR #2714: GitHub actions

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

Configurations