Build #871 (19/07/2019, 10:11:49 AM)

	No changes.
	Started by upstream project OpenCOR_Windows build number 871 originally caused by: GitHub pull request #2142 of commit 72d291c85a2407ffaada71399406eafa9d6d3be3, no merge conflicts.
	This run spent: 32 ms waiting; 20 min build duration; 20 min total from scheduled to completion.
	Revision: 3395aaae3ed103eb1fd08dc7cd330d95a7d720e5 Repository: https://github.com/opencor/opencor.git refs/remotes/origin/pr/2142/merge