Build #719 (5/04/2019, 6:25:20 PM)

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