Build #1038 (12/05/2020, 2:01:38 PM)

	No changes.
	Started by upstream project OpenCOR_Linux build number 1038 originally caused by: GitHub pull request #2337 of commit 3c55e625489387673b067cb6697cf4fcc7006546, no merge conflicts. Started by user Alan Garny Started by upstream project OpenCOR_Linux build number 1037 originally caused by: GitHub pull request #2337 of commit 3c55e625489387673b067cb6697cf4fcc7006546, no merge conflicts.
	This run spent: 4 ms waiting; 13 min build duration; 13 min total from scheduled to completion.
	Revision: 036a1100a07ae7634ae59bc98c4f7b236eb8ed34 Repository: https://github.com/opencor/opencor.git refs/remotes/origin/pr/2337/merge