Build #985 (20/12/2019, 1:47:40 PM)

	No changes.
	Started by upstream project OpenCOR_Linux build number 985 originally caused by: GitHub pull request #2266 of commit 9459ad5f19879bbad2d7600228848cc34507d235, no merge conflicts. Started by user Alan Garny Started by upstream project OpenCOR_Linux build number 984 originally caused by: GitHub pull request #2266 of commit 9459ad5f19879bbad2d7600228848cc34507d235, no merge conflicts.
	This run spent: 5 ms waiting; 11 min build duration; 11 min total from scheduled to completion.
	Revision: bdf3111d6f7abf0e067c49f9261eca8c4059bed5 Repository: https://github.com/opencor/opencor.git refs/remotes/origin/pr/2266/merge