Build #630 (15/12/2018, 12:29:13 PM)

<a title="Qt: upgrade to version 5.12.0 (#1910)" href="https://github.com/opencor/opencor/pull/1916">PR #1916</a>: Qt: upgrade to version 5.12...

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

Configurations