Build #3133 (Nov 19, 2020 12:32:46 AM)

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

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