Build #848 (25/06/2019, 5:01:42 PM)

	No changes.
	Started by upstream project OpenCOR_Windows build number 848 originally caused by: GitHub pull request #2127 of commit cbda8f16d6bc3143834d286d8d92f2e74e77cdf8, no merge conflicts. Started by user Alan Garny Started by upstream project OpenCOR_Windows build number 847 originally caused by: GitHub pull request #2127 of commit cbda8f16d6bc3143834d286d8d92f2e74e77cdf8, no merge conflicts.
	This run spent: 12 ms waiting; 2 min 33 sec build duration; 2 min 33 sec total from scheduled to completion.
	Revision: 31af97242ce02311bff13e0ab5d3d3db9536c324 Repository: https://github.com/opencor/opencor.git refs/remotes/origin/pr/2127/merge