Build #1200 (19/08/2020, 2:34:46 PM)

	No changes.
	Started by upstream project OpenCOR_Windows build number 1200 originally caused by: GitHub pull request #2380 of commit 69f94ce9bdd34dc21eed7b33b03c3a19f54d88b8, no merge conflicts.
	This run spent: 13 ms waiting; 2 min 54 sec build duration; 2 min 54 sec total from scheduled to completion.
	Revision: 9e33e5241f323ce7a70e21a35201809eb6ba70c6 Repository: https://github.com/opencor/opencor.git refs/remotes/origin/pr/2380/merge