Build #1112 (23/09/2020, 4:28:48 PM)

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