Build #748 (12/05/2019, 7:31:27 PM)

	No changes.
	Started by upstream project OpenCOR_Linux build number 748 originally caused by: GitHub pull request #2081 of commit 875912885cd1553be6acf03f881c1a9b10601234, no merge conflicts.
	This run spent: 40 ms waiting; 7 min 54 sec build duration; 7 min 54 sec total from scheduled to completion.
	Revision: d963e082e723734e1c0241fc51d256e1634b8136 Repository: https://github.com/opencor/opencor.git refs/remotes/origin/pr/2081/merge