Build #419 (14/08/2018, 8:58:15 AM)

	No changes.
	Started by upstream project OpenCOR_Linux build number 419 originally caused by: GitHub pull request #1762 of commit d26cc900fc8a6158fd46d7808799291efe60ae82, no merge conflicts.
	This run spent: 20 ms waiting; 12 min build duration; 12 min total from scheduled to completion.
	Revision: a9138d0b5f7827c4dbdec580edef1c57542648fa Repository: https://github.com/opencor/opencor.git refs/remotes/origin/pr/1762/merge