Build #48 (Aug 10, 2019 4:16:49 AM)

PR #2476: Add allow_partial_usdt_init...

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

Configurations