Build #1200 (19/08/2020, 2:34:46 PM)

<a title="Improved Zinc support" href="https://github.com/opencor/opencor/pull/2380">PR #2380</a>: Improved Zinc support

	No changes.
	GitHub pull request #2380 of commit 69f94ce9bdd34dc21eed7b33b03c3a19f54d88b8, no merge conflicts.
	This run spent: 8.2 sec waiting; 2 min 58 sec build duration; 3 min 7 sec total from scheduled to completion.
	Aborted by user Alan Garny

Configurations