Build #801 (27/06/2019, 6:11:44 PM)

	No changes.
	Started by upstream project OpenCOR_Linux build number 801 originally caused by: GitHub pull request #2137 of commit 3d94e5501cac476955803cf6d3a8910496ffe774, no merge conflicts.
	This run spent: 15 ms waiting; 10 min build duration; 10 min total from scheduled to completion.
	Revision: 7e0f840a0299e68376ef583f7016cbbc359cfd02 Repository: https://github.com/opencor/opencor.git refs/remotes/origin/pr/2137/merge