Build #872 (19/07/2019, 8:19:20 PM)

	No changes.
	Started by upstream project OpenCOR_Windows build number 872 originally caused by: GitHub pull request #2143 of commit 50c5427b3e2c78fe8efe063686a7d041ea580da2, no merge conflicts.
	This run spent: 3 ms waiting; 18 min build duration; 18 min total from scheduled to completion.
	Revision: 7dcadcc57f8927ddd9efdad3bbf35ce7d82a6715 Repository: https://github.com/opencor/opencor.git refs/remotes/origin/pr/2143/merge