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...
GitHub pull request #2033 of commit a914ece785070b7ae1f6062b51973dfddd8d6167, no merge conflicts.
Started by user Alan Garny
This run spent: