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

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

Started by upstream project OpenCOR_Linux build number 242
originally caused by:

• Started by GitHub push by agarny

This run spent:

• 6 ms waiting;
• 37 min build duration;
• 37 min total from scheduled to completion.

• refs/remotes/origin/master