Build #807 (12/05/2019, 11:43:26 AM)

	No changes.
	Started by upstream project OpenCOR_Windows build number 807 originally caused by: GitHub pull request #2079 of commit 1c810ae60f74e1c7d61dece74eb3b3aa02ddabe3, no merge conflicts.
	This run spent: 15 ms waiting; 15 min build duration; 15 min total from scheduled to completion.
	Revision: b2599bbfdd974b5c56677c334a59c2006d66621d Repository: https://github.com/opencor/opencor.git refs/remotes/origin/pr/2079/merge