Build #237 (29/03/2018, 3:33:21 PM)

1. Some minor refactoring. (commit: 8713200) (details / githubweb)
2. Some minor cleaning up. (commit: 9132ea6) (details / githubweb)
3. PMR Workspaces window: show warning/information messages that get (commit: a3cff3d) (details / githubweb)
4. Slight update to our downloads page (#1581). (commit: edda62f) (details / githubweb)

Started by GitHub push by agarny

This run spent:

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

• refs/remotes/origin/master