Build #82 (Oct 5, 2019 2:37:19 AM)

PR #2476: Add allow_partial_usdt_init...

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

Configurations