Build #842 (17/06/2019, 6:37:42 PM)

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