Build #517 (8/10/2018, 5:04:42 PM)

	No changes.
	Started by upstream project OpenCOR_Windows build number 517 originally caused by: GitHub pull request #1837 of commit 3674176e9a2966cc69ac07b36ad80f833c0f17a1, no merge conflicts.
	This run spent: 7 ms waiting; 18 min build duration; 18 min total from scheduled to completion.
	Revision: 9b45dd4981af8e9811a0196c27c5d52f4ca9e772 Repository: https://github.com/opencor/opencor.git refs/remotes/origin/pr/1837/merge