Build Windows10 (11/07/2018, 9:38:11 PM)

	No changes.
	Started by upstream project OpenCOR_Windows build number 420 originally caused by: GitHub pull request #1735 of commit e994a3587a419e3492f7cf44c423ddd06ca667ba, no merge conflicts.
	This run spent: 33 ms waiting; 12 min build duration; 12 min total from scheduled to completion.
	Revision: 0497827b66cfce96bbb2f3abc9ea5b0eb1fd8b1f Repository: https://github.com/opencor/opencor.git refs/remotes/origin/pr/1735/merge