Build #143 (Mar 21, 2019 9:25:21 AM)

PR #134: Update dependency and plugi...

	No changes.
	GitHub pull request #134 of commit 4c1aafcd4cc7c98da6b09294626079d5d3a63d14, no merge conflicts.
	Test Result (no failures)

Configurations