Build #802 (27/06/2019, 6:34:04 PM)

	No changes.
	Started by upstream project OpenCOR_Linux build number 802 originally caused by: GitHub pull request #2138 of commit 9b9fc1e17ded8007d99ca7c5547b4e01a67b78a3, no merge conflicts.
	This run spent: 2 ms waiting; 10 min build duration; 10 min total from scheduled to completion.
	Revision: 719ec68567ea3f4eb69a42a4efda99ac58a39f10 Repository: https://github.com/opencor/opencor.git refs/remotes/origin/pr/2138/merge