Build Mac10.12.3_OpenCOR (14/11/2018, 11:00:43 AM)

	No changes.
	Started by upstream project OpenCOR_macOS build number 517 originally caused by: GitHub pull request #1874 of commit ebf2c1cc82a50966a157853c13bf5d9ba339cfff, no merge conflicts.
	This run spent: 30 ms waiting; 3 min 43 sec build duration; 3 min 43 sec total from scheduled to completion.
	Revision: 9a57f271ec4ab7298249c5ae2b0d8c2e32041356 Repository: https://github.com/opencor/opencor.git refs/remotes/origin/pr/1874/merge