Build #264 (23/04/2018, 1:10:38 PM)

1. Some minor cleaning up. (commit: e6eaeb5) (details / githubweb)
2. Graph Panel widget: fixed an issue with graph panels not always being (commit: 8ee9bd7) (details / githubweb)
3. Graph Panel widget: fixed an issue with graph panels not always being (commit: f6db0ec) (details / githubweb)
4. Some minor cleaning up. (commit: c1519db) (details / githubweb)
5. Merge branch 'master' into issue1619. (commit: 023d39a) (details / githubweb)
6. Merge branch 'master' into issue1619. (commit: bc1233b) (details / githubweb)
7. Merge branch 'master' into issue1619. (commit: 9ad6062) (details / githubweb)
8. Graph Panel widget: fixed an issue with graph panels not always being (commit: d285e3b) (details / githubweb)
9. Some minor cleaning up. (commit: c5c4a07) (details / githubweb)
10. Some minor cleaning up. (commit: 067dafa) (details / githubweb)
11. Graph Panel widget: fixed an issue with graph panels not always being (commit: bf2559d) (details / githubweb)
12. Graph Panel widget: fixed an issue with graph panels not always being (commit: 3187db6) (details / githubweb)
13. Graph Panel widget: fixed an issue with graph panels not always being (commit: e6f188b) (details / githubweb)
14. Graph Panel widget: fixed an issue with graph panels not always being (commit: fa17665) (details / githubweb)
15. Graph Panel widget: only allow zooming in/out using the wheel when over (commit: 15417cf) (details / githubweb)
16. Graph Panel widget: fixed an issue with graph panels not always being (commit: e4f67f6) (details / githubweb)
17. Graph Panel widget: fixed an issue with graph panels not always being (commit: ff5671b) (details / githubweb)
18. Graph Panel widget: fixed an issue with graph panels not always being (commit: a8042cf) (details / githubweb)
19. Graph Panel widget: fixed an issue with graph panels not always being (commit: 53b3073) (details / githubweb)
20. Some minor cleaning up. (commit: e8ea3c1) (details / githubweb)
21. Graph Panel widget: fixed an issue with graph panels not always being (commit: 17d9226) (details / githubweb)
22. Graph Panel widget: fixed an issue with graph panels not always being (commit: 28e18bc) (details / githubweb)
23. Graph Panel widget: fixed an issue with graph panels not always being (commit: 4b1e165) (details / githubweb)
24. Simulation Experiment view: make sure that our legend is of the right (commit: 617f4ee) (details / githubweb)
25. Graph Panel widget: prevent some flashing of the X axis on Windows and (commit: 18e99c6) (details / githubweb)
26. Slight update to our downloads page (#1619). (commit: 485982b) (details / githubweb)

Started by GitHub push by agarny

This run spent:

• 6.3 sec waiting;
• 37 min build duration;
• 37 min total from scheduled to completion.

• refs/remotes/origin/master