Build #115 (27/09/2017, 1:55:32 AM)

1. Some minor cleaning up. (commit: 6c3916e) (details / githubweb)
2. GraphPanel widget: some work on making it possible to export a graph (commit: 76be166) (details / githubweb)
3. Some minor cleaning up. (commit: bb0eba8) (details / githubweb)
4. GraphPanel widget: can now export a graph panel to various formats (commit: de6a208) (details / githubweb)
5. GraphPanel widget: can now export a graph panel to various formats (commit: 7edc6fd) (details / githubweb)
6. Slight update to our downloads and what is new pages (#1123). (commit: 112d01f) (details / githubweb)
7. Some minor cleaning up. (commit: 8ae5c42) (details / githubweb)

Started by GitHub push by agarny

This run spent:

• 7 sec waiting;
• 29 min build duration;
• 29 min total from scheduled to completion.

• refs/remotes/origin/master