Build #394 (27/06/2018, 8:12:06 PM)

<a title="General: move our API plugins to the third-party category and, in some cases, renaming them (#1707)" href="https://github.com/opencor/opencor/pull/1708">PR #1708</a>: General: move our API plugi...

	No changes.
	GitHub pull request #1708 of commit 1ce54f5aa683d9263e5fad2268df80e6e1854bec, no merge conflicts.
	Started by user Alan Garny
	This run spent: 8 ms waiting; 13 min build duration; 13 min total from scheduled to completion.

Configurations

default