Build #272 (18/04/2018, 3:57:15 PM)

1. Some minor cleaning up. (commit: 24dfa7d) (details / githubweb)
2. Graph Panel widget: have our legend widget track our main legend labels (commit: 3752d49) (details / githubweb)
3. Some minor cleaning up. (commit: 9ec7a7c) (details / githubweb)
4. Simulation Experiment view: improved the rendering of the GUI upon (commit: d8f7f9b) (details / githubweb)
5. Slight update to our downloads page (#1620). (commit: 86050e5) (details / githubweb)

Started by GitHub push by agarny

This run spent:

• 6.9 sec waiting;
• 27 min build duration;
• 27 min total from scheduled to completion.

• refs/remotes/origin/master