Build #619 (11/12/2018, 5:24:02 PM)

<a title="Don't build an official release anymore" href="https://github.com/opencor/opencor/pull/1909">PR #1909</a>: Don't build an official rel...

	No changes.
	GitHub pull request #1909 of commit 7bfa09e204353a1ad5ea8ae665d0a4e41c2a6005, no merge conflicts.
	Started by user Alan Garny
	This run spent: 13 ms waiting; 12 min build duration; 12 min total from scheduled to completion.

Configurations