Build #754 (7/03/2019, 4:55:35 PM)

<a title="PMR Workspaces window: a workspace to be created in a non-writable location still gets created in PMR (#2032)" href="https://github.com/opencor/opencor/pull/2033">PR #2033</a>: PMR Workspaces window: a wo...

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

Configurations

default