Build #125 (Nov 14, 2019 6:17:21 PM)

PR #2476: Add allow_partial_usdt_init...

	No changes.
	GitHub pull request #2476 of commit fc3328de62d8b1dd06b3828ee65780a9c9199ffc, no merge conflicts.

Configurations