Build #3130 (Nov 5, 2020, 12:43:26 AM)

PR #2280: Performance improvements to...

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