Build #1100 (2/09/2020, 8:44:54 PM)

	No changes.
	Started by upstream project OpenCOR_Linux build number 1100 originally caused by: GitHub pull request #2392 of commit 56293437941e00dd5cb43c358c5476c0c3dfbcef, no merge conflicts.
	This run spent: 2 ms waiting; 13 min build duration; 13 min total from scheduled to completion.
	Revision: 24dfa513484bd51e34d3222b80311105f4c82e5f Repository: https://github.com/opencor/opencor.git refs/remotes/origin/pr/2392/merge