Build #649 (22/12/2018, 1:52:37 PM)

<a title="QScintilla: improve the build system (#1931)" href="https://github.com/opencor/opencor/pull/1932">PR #1932</a>: QScintilla: improve the bui...

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

Configurations

default