Build #948 (3/12/2019, 3:03:51 PM)

<a title="Various improvements" href="https://github.com/opencor/opencor/pull/2249">PR #2249</a>: Various improvements

	No changes.
	GitHub pull request #2249 of commit 91602edf429d910827a03918b6171e9e8a371d4d, no merge conflicts.
	This run spent: 6 sec waiting; 2 min 20 sec build duration; 2 min 26 sec total from scheduled to completion.
	Aborted by user Alan Garny

Configurations