Build #731 (28/02/2019, 1:59:33 PM)

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

	No changes.
	GitHub pull request #2012 of commit 21e33f9d18da17a8578ee8ef1eabaa1dc1e50d6f, no merge conflicts.
	Started by user Alan Garny
	This run spent: 21 ms waiting; 16 min build duration; 16 min total from scheduled to completion.

Configurations