Build #1179 (5/11/2020, 11:54:11 AM)

	No changes.
	Started by upstream project OpenCOR_Linux build number 1179 originally caused by: GitHub pull request #2419 of commit f74201a42afb7829d985373c0783888ac73e61c7, no merge conflicts.
	This run spent: 27 ms waiting; 14 min build duration; 14 min total from scheduled to completion.
	Revision: 8abd6dd346db69681377867bd012f5432b4db5a0 Repository: https://github.com/opencor/opencor.git refs/remotes/origin/pr/2419/merge