Build #949 (3/12/2019, 3:06:11 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 fce3a2ae1af10c6a57bd99d501eb006f44376f58, no merge conflicts.
	This run spent: 1 min 24 sec waiting; 26 sec build duration; 1 min 50 sec total from scheduled to completion.
	Aborted by user Alan Garny

Configurations