Build #510 (May 26, 2020 5:03:42 PM)

PR #2936: return failure if rewriter ...

	No changes.
	GitHub pull request #2936 of commit cdcf139720b0d5723b0027ae76f66d4a4fd384fc, no merge conflicts.

Configurations