Build #3135 (Nov 19, 2020, 12:30:49 PM)

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

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