Build #145 (Mar 21, 2019 9:44:04 AM)

PR #134: Update dependency and plugi...

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

Configurations