Build #3137 (Dec 2, 2020 11:21:52 AM)

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

	No changes.
	GitHub pull request #2282 of commit e6332ef5bac0dc6ce37cb840631c62f3e67a8351, no merge conflicts.
	Revision: e6332ef5bac0dc6ce37cb840631c62f3e67a8351 detached
	Test Result (no failures)