Build #1288 (2/11/2020, 11:12:15 PM)

	No changes.
	Started by upstream project OpenCOR_Windows build number 1288 originally caused by: GitHub pull request #2413 of commit b656bce486a40718d7ec38bd9e0bbddb5f0c36d3, no merge conflicts. Started by user Alan Garny Started by upstream project OpenCOR_Windows build number 1287 originally caused by: GitHub pull request #2413 of commit b656bce486a40718d7ec38bd9e0bbddb5f0c36d3, no merge conflicts.
	This run spent: 4 ms waiting; 25 min build duration; 25 min total from scheduled to completion.
	Revision: 345c80a068467a1d910aa4b91c9a2205a2284f89 Repository: https://github.com/opencor/opencor.git refs/remotes/origin/pr/2413/merge