Build #123 (Nov 13, 2019 10:44:42 PM)

PR #2476: Add allow_partial_usdt_init...

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

Configurations