Build #784 (18/06/2019, 2:31:14 PM)

	No changes.
	Started by upstream project OpenCOR_Linux build number 784 originally caused by: GitHub pull request #2117 of commit fde4ab2e8c6ed1f6c7f07b380b1f39c12c867979, no merge conflicts. Started by user Alan Garny Started by upstream project OpenCOR_Linux build number 783 originally caused by: GitHub pull request #2117 of commit fde4ab2e8c6ed1f6c7f07b380b1f39c12c867979, no merge conflicts.
	This run spent: 3 ms waiting; 7 min 18 sec build duration; 7 min 18 sec total from scheduled to completion.
	Revision: 3d6b50ca300350ed21b9a375b3039c6b6f3973ac Repository: https://github.com/opencor/opencor.git refs/remotes/origin/pr/2117/merge