Build #536 (12/10/2018, 3:49:41 PM)

<a title="Cleaning up" href="https://github.com/opencor/opencor/pull/1840">PR #1840</a>: Cleaning up

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

Configurations