Build #610 (28/11/2018, 12:17:33 PM)

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

	No changes.
	GitHub pull request #1897 of commit 4c2027f8a3cee2c34adce953dc741c6a753359b6, no merge conflicts.
	Started by user Alan Garny
	This run spent: 0.12 sec waiting; 15 min build duration; 15 min total from scheduled to completion.

Configurations