Build #1012 (13/02/2020, 5:25:31 PM)

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