Build #1180 (5/11/2020, 6:49:11 PM)

	No changes.
	Started by upstream project OpenCOR_Linux build number 1180 originally caused by: GitHub pull request #2420 of commit e2a9b6313f9db13e75d4f890f810cabfb770f2c5, no merge conflicts.
	This run spent: 4 ms waiting; 15 min build duration; 15 min total from scheduled to completion.
	Revision: 580d6af31c1c20d2ce031d68d5a4f418611fdd5d Repository: https://github.com/opencor/opencor.git refs/remotes/origin/pr/2420/merge