Build #1042 (26/05/2020, 6:07:36 PM)

	No changes.
	Started by upstream project OpenCOR_Linux build number 1042 originally caused by: GitHub pull request #2345 of commit 6f71bfee8a519ee344f026b4318dfc03cdcf6688, no merge conflicts.
	This run spent: 6 ms waiting; 13 min build duration; 13 min total from scheduled to completion.
	Revision: f4eac759be5618244eede5d22669fb819f2e03e1 Repository: https://github.com/opencor/opencor.git refs/remotes/origin/pr/2345/merge