Build #93 (Oct 19, 2019 6:12:37 PM)

PR #2560: assign offset properly for ...

	No changes.
	GitHub pull request #2560 of commit 5e40419ae0f255c6a75aa70955b917a9ceb92941, no merge conflicts.

Configurations