Build #472 (20/09/2018, 6:24:06 PM)

	No changes.
	Started by upstream project OpenCOR_Linux build number 472 originally caused by: GitHub pull request #1817 of commit d37f3644deef9aa5f8a2ff9a2253fed31c87cf7a, no merge conflicts.
	This run spent: 12 ms waiting; 7 min 49 sec build duration; 7 min 49 sec total from scheduled to completion.
	Revision: 095d8745751bab24d8232e288a0b4de52032d24d Repository: https://github.com/opencor/opencor.git refs/remotes/origin/pr/1817/merge