Build #1293 (4/11/2020, 6:00:04 PM)

	No changes.
	Started by upstream project OpenCOR_Windows build number 1293 originally caused by: GitHub pull request #2413 of commit 533c38a3d55c1a5c4a31d5773c97c0968625b8b9, no merge conflicts. Started by user Alan Garny Started by upstream project OpenCOR_Windows build number 1292 originally caused by: GitHub pull request #2413 of commit 533c38a3d55c1a5c4a31d5773c97c0968625b8b9, no merge conflicts.
	This run spent: 5 ms waiting; 23 min build duration; 23 min total from scheduled to completion.
	Revision: d13b03b88c798be0f78e2a9dadd03b53f2af13c3 Repository: https://github.com/opencor/opencor.git refs/remotes/origin/pr/2413/merge