Build #715 (24/03/2019, 8:50:31 AM)

	No changes.
	Started by upstream project OpenCOR_Linux build number 715 originally caused by: GitHub pull request #2049 of commit 1ad0e1143765b6cf53edd5cb47dc691e019c520e, no merge conflicts.
	This run spent: 3 ms waiting; 9 min 24 sec build duration; 9 min 24 sec total from scheduled to completion.
	Revision: 78b813106f19aaf2ea5ba70c2bb166c02586d41c Repository: https://github.com/opencor/opencor.git refs/remotes/origin/pr/2049/merge