Build #3127 (Oct 19, 2020 9:38:22 PM)

PR #2276: Use explicit provided scope...

	No changes.
	GitHub pull request #2276 of commit 68c001925683aa1290ff40eb217e957f277f309e, no merge conflicts.
	Test Result (no failures)