Build #857 (8/10/2019, 8:32:39 AM)

	No changes.
	Started by upstream project OpenCOR_Linux build number 857 originally caused by: GitHub pull request #2182 of commit e693ac24ff08b1e7867a766014e8c7ef1315de0d, no merge conflicts.
	This run spent: 1 ms waiting; 7 min 11 sec build duration; 7 min 11 sec total from scheduled to completion.
	Revision: 19aa8986394061e6808a58d508f24cbde45de651 Repository: https://github.com/opencor/opencor.git refs/remotes/origin/pr/2182/merge