Build #1013 (14/02/2020, 2:52:05 PM)

	No changes.
	Started by upstream project OpenCOR_Linux build number 1013 originally caused by: GitHub pull request #2301 of commit a3edca5f60d4a93c08a232361034e495701609ff, no merge conflicts.
	This run spent: 0.27 sec waiting; 16 min build duration; 16 min total from scheduled to completion.
	Revision: b355d858f432f69be857bfa3c77c47a0befb4369 Repository: https://github.com/opencor/opencor.git refs/remotes/origin/pr/2301/merge