Build #865 (11/10/2019, 12:11:07 PM)

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