Build #842 (1/10/2019, 10:08:53 AM)

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