Build #600 (27/11/2018, 3:56:22 PM)

<a title="Some minor cleaning up" href="https://github.com/opencor/opencor/pull/1896">PR #1896</a>: Some minor cleaning up

	No changes.
	GitHub pull request #1896 of commit 56495034f94fbdfe6cee7cfcd9567ff1f4c36a9d, 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