Build #271 (Jan 22, 2020 8:42:50 PM)

PR #2714: GitHub actions

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

Configurations