Build #760 (18/05/2019, 2:34:23 PM)

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