Build #585 (Jul 4, 2020 4:36:41 PM)

PR #3000: Fix symbol resolution via s...

	No changes.
	GitHub pull request #3000 of commit 1034a4521a123551fbfd2cc265dbd1f70da7d58a, no merge conflicts.

Configurations