Build #196 (Dec 28, 2019 3:03:35 AM)

PR #2665: Changes to fix #2648

	No changes.
	GitHub pull request #2665 of commit 3281146b6b812cfe8c729ae373b5966e28fa125b, no merge conflicts.

Configurations