Build #216 (Jan 5, 2020 8:27:03 AM)

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

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

Configurations