Build #3129 (Nov 4, 2020 2:48:31 PM)

PR #2280: Performance improvements to...

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