Build #1086 (20/08/2020, 11:25:44 AM)

	No changes.
	Started by upstream project OpenCOR_Linux build number 1086 originally caused by: GitHub pull request #2381 of commit 14d6fb29b58fa9e3c12dbd99a3ca8efae64ff285, no merge conflicts.
	This run spent: 21 ms waiting; 15 min build duration; 15 min total from scheduled to completion.
	Revision: 4b05cd4471a27b34b1639abdc1c24ed1f7cb7709 Repository: https://github.com/opencor/opencor.git refs/remotes/origin/pr/2381/merge