Build #843 (2/10/2019, 9:16:37 AM)

	No changes.
	Started by upstream project OpenCOR_Linux build number 843 originally caused by: GitHub pull request #2172 of commit af6e68ddc222bc71df76162ed8d9b2b816b69343, no merge conflicts.
	This run spent: 2 ms waiting; 8 min 38 sec build duration; 8 min 38 sec total from scheduled to completion.
	Revision: fb369488a77de379e638b8c546bed52138749e1b Repository: https://github.com/opencor/opencor.git refs/remotes/origin/pr/2172/merge