Build #1078 (12/08/2020, 6:36:46 PM)

	No changes.
	Started by upstream project OpenCOR_Linux build number 1078 originally caused by: GitHub pull request #2375 of commit d6d67a04bf8d8440616bdb962526788d38417d5d, no merge conflicts.
	This run spent: 13 ms waiting; 15 min build duration; 15 min total from scheduled to completion.
	Revision: 9b56150fc0c5fef0b6f02a2f9cc8089cd43e694d Repository: https://github.com/opencor/opencor.git refs/remotes/origin/pr/2375/merge