Build #845 (3/10/2019, 12:48:51 PM)

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