Build #222 (16/03/2018, 6:16:57 PM)

1. PMR Workspace window: improved the synchronisation with PMR in case the (commit: 2ca9a84) (details / githubweb)
2. Slight update to our downloads page (#1566). (commit: 26604d1) (details / githubweb)

Started by GitHub push by agarny

This run spent:

• 7.9 sec waiting;
• 14 min build duration;
• 14 min total from scheduled to completion.

• refs/remotes/origin/master