Build #862 (10/10/2019, 12:00:18 PM)

	No changes.
	Started by upstream project OpenCOR_Linux build number 862 originally caused by: GitHub pull request #2184 of commit 23211b5bf842f4faacc7ce16091b5c03e6950f64, no merge conflicts.
	This run spent: 1 ms waiting; 8 min 40 sec build duration; 8 min 40 sec total from scheduled to completion.
	Revision: db3873b9b261d121d25f02b2c78dfedbc7483de2 Repository: https://github.com/opencor/opencor.git refs/remotes/origin/pr/2184/merge