Build #268 (Jan 22, 2020 7:55:59 PM)

PR #2714: GitHub actions

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

Configurations