Build #802 (23/04/2019, 11:57:56 AM)

<a title="PMR Workspaces window: first list changed files and then show the user's comment (in the synchronisation dialog) (#2065)" href="https://github.com/opencor/opencor/pull/2072">PR #2072</a>: PMR Workspaces window: firs...