Build #1235 (16/09/2020, 7:31:39 PM)

	No changes.
	Started by upstream project OpenCOR_Windows build number 1235 originally caused by: GitHub pull request #2397 of commit 073ad388d8b91c7a0a3975af58a22980d9a2a406, no merge conflicts. Started by user Alan Garny Started by upstream project OpenCOR_Windows build number 1234 originally caused by: GitHub pull request #2397 of commit 073ad388d8b91c7a0a3975af58a22980d9a2a406, no merge conflicts.
	This run spent: 2 ms waiting; 35 min build duration; 35 min total from scheduled to completion.
	Revision: fb01443169f2d21669cec524b565f09ad5fb1a7b Repository: https://github.com/opencor/opencor.git refs/remotes/origin/pr/2397/merge