Build #771 (Dec 29, 2020 8:48:01 PM)

PR #3203: allowing examples and tests...

	No changes.
	GitHub pull request #3203 of commit 6675ca02853f2a144dfc952e3cf03f8ee1dc8974, no merge conflicts.

Configurations