Build #993 (15/01/2020, 2:27:59 PM)

	No changes.
	Started by upstream project OpenCOR_Linux build number 993 originally caused by: GitHub pull request #2276 of commit 7a6b811b152e2fa64ec97636503d03f57bb64332, no merge conflicts.
	This run spent: 36 ms waiting; 12 min build duration; 12 min total from scheduled to completion.
	Revision: 1938b2fd4d0ff4f727a0a51114c701f0213f8805 Repository: https://github.com/opencor/opencor.git refs/remotes/origin/pr/2276/merge