Build #1187 (4/12/2020, 12:07:59 PM)

	No changes.
	Started by upstream project OpenCOR_Linux build number 1187 originally caused by: GitHub pull request #2428 of commit 0a2ff08ff91f74a891dae43c326f785a7585c463, no merge conflicts. Started by user Alan Garny Started by upstream project OpenCOR_Linux build number 1185 originally caused by: GitHub pull request #2428 of commit 0a2ff08ff91f74a891dae43c326f785a7585c463, no merge conflicts.
	This run spent: 12 ms waiting; 43 min build duration; 43 min total from scheduled to completion.
	Revision: 951e8fe056a9a468a3476b04c0da94039384e182 Repository: https://github.com/opencor/opencor.git origin/pr/2428/merge