Build #599 (27/11/2018, 3:47:15 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.
	This run spent: 9.7 sec waiting; 9 min 3 sec build duration; 9 min 12 sec total from scheduled to completion.
	Aborted by user Alan Garny

Configurations