Build #720 (9/04/2019, 2:47:57 PM)

	No changes.
	Started by upstream project OpenCOR_Linux build number 720 originally caused by: GitHub pull request #2058 of commit 33b39c059b39e1701945735d90d8a206ba6c1fc9, no merge conflicts.
	This run spent: 4 ms waiting; 40 min build duration; 40 min total from scheduled to completion.
	Revision: cbc170796870c1a4441ddcde83c5b739e67ad721 Repository: https://github.com/opencor/opencor.git refs/remotes/origin/pr/2058/merge