Build #215 (Jan 4, 2020 12:15:26 PM)

PR #2685: rewriter: Fix tracking of p...

	No changes.
	GitHub pull request #2685 of commit 6732028f74ea247c4b3d612f6e0d88223a79cada, no merge conflicts.

Configurations