Build #3131 (Nov 18, 2020 7:08:06 AM)

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

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