Build #555 (23/11/2018, 3:37:43 PM)

	No changes.
	Started by upstream project OpenCOR_Linux build number 555 originally caused by: GitHub pull request #1890 of commit b754d76665908aa4c9992e5e65f6166921223cde, no merge conflicts.
	This run spent: 2 ms waiting; 9 min 56 sec build duration; 9 min 56 sec total from scheduled to completion.
	Revision: 525ba3e3c5586da71621f88063b7738f01d40983 Repository: https://github.com/opencor/opencor.git refs/remotes/origin/pr/1890/merge