Build #3063 (Sep 27, 2019 11:11:36 AM)

PR #2217: Rename AlignmentRecord to A...

	No changes.
	GitHub pull request #2217 of commit dcbca14f386d8691e101b40e0186ece59a8c60dd, no merge conflicts.
	Test Result (no tests)

Configurations