Build #508 (24/09/2018, 1:02:40 PM)

<a title="Graph Panel widget: use 2 as our default graph line width" href="https://github.com/opencor/opencor/pull/1822">PR #1822</a>: Graph Panel widget: use 2 a...

	No changes.
	GitHub pull request #1822 of commit 4b677cca7f88a3068a6fa933f5ab18556b9308c4, no merge conflicts.
	Started by user Alan Garny
	This run spent: 5 ms waiting; 12 min build duration; 12 min total from scheduled to completion.

Configurations

default