Build #534 (12/10/2018, 3:40:42 PM)

	No changes.
	Started by upstream project OpenCOR_Windows build number 534 originally caused by: GitHub pull request #1840 of commit 0c221164034094512f1a9b2936aee40b87ea24c8, no merge conflicts.
	This run spent: 26 ms waiting; 6 min 53 sec build duration; 6 min 53 sec total from scheduled to completion.
	Revision: 6ca5c2df9391a4772025d68621a1fbf0b23bde46 Repository: https://github.com/opencor/opencor.git refs/remotes/origin/pr/1840/merge