Build #1043 (31/05/2020, 12:45:03 PM)

	No changes.
	Started by upstream project OpenCOR_Linux build number 1043 originally caused by: GitHub pull request #2347 of commit 71ddf9e2cf8f61ea61732c93039922c37b6495f8, no merge conflicts.
	This run spent: 15 ms waiting; 4 min 18 sec build duration; 4 min 18 sec total from scheduled to completion.
	Revision: 497521c2d72e1e954990468911b31d9b6802d87c Repository: https://github.com/opencor/opencor.git refs/remotes/origin/pr/2347/merge