Build #3132 (Nov 18, 2020 11:09:01 AM)

PR #2282: Added an optimisation to sp...

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