Build #307 (Feb 6, 2020 7:35:20 PM)

PR #2741: prevent rewriting for array...

	No changes.
	GitHub pull request #2741 of commit d47520c0edae05c8cb15d925972ab96c2a970311, no merge conflicts.

Configurations