Build #756 (14/05/2019, 11:00:58 AM)

	No changes.
	Started by upstream project OpenCOR_Linux build number 756 originally caused by: GitHub pull request #2084 of commit 2158c2b7349ff4b44e52b8b1446a69e09695be6b, no merge conflicts.
	This run spent: 4 ms waiting; 10 min build duration; 10 min total from scheduled to completion.
	Revision: 897df8c28226851362044c6ab1163fc295bce360 Repository: https://github.com/opencor/opencor.git refs/remotes/origin/pr/2084/merge