Build #417 (14/08/2018, 12:31:06 AM)

	No changes.
	Started by upstream project OpenCOR_Linux build number 417 originally caused by: GitHub pull request #1760 of commit a16c99d9743298b9e6a1ca377b5d8cac5d1d245d, no merge conflicts.
	This run spent: 8 ms waiting; 5 min 28 sec build duration; 5 min 28 sec total from scheduled to completion.
	Revision: a1cbc69423bfe6e73a406159b7725f9bfdb52f99 Repository: https://github.com/opencor/opencor.git refs/remotes/origin/pr/1760/merge