Build #157 (Feb 10, 2020 1:37:12 PM)

PR #148: Create a build configuratio...

	No changes.
	GitHub pull request #148 of commit ee5f356593d5562e7a41e3e84ec822cfcaea2e8e, no merge conflicts.
	Test Result (no failures)

Configurations