Build #745 (5/03/2019, 4:52:32 PM)

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

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

Configurations