Build #1231 (14/09/2020, 9:32:14 PM)

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