Build #717 (3/04/2019, 3:29:27 PM)

	No changes.
	Started by upstream project OpenCOR_Linux build number 717 originally caused by: GitHub pull request #2054 of commit 0fa569554abb307982eed32fee232c6f40154f5a, no merge conflicts.
	This run spent: 0.1 sec waiting; 8 min 4 sec build duration; 8 min 4 sec total from scheduled to completion.
	Revision: f81982a9c9e23d079a01d6aa99a6cdf5e2eec6c8 Repository: https://github.com/opencor/opencor.git refs/remotes/origin/pr/2054/merge