Build #425 (20/07/2018, 3:23:00 PM)

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