Build #152 (16/11/2017, 3:19:39 AM)

1. Some minor cleaning up. (commit: dbcfc92) (details / githubweb)
2. Some minor cleaning up. (commit: 3eef78b) (details / githubweb)
3. Some minor cleaning up. (commit: b6a25e0) (details / githubweb)
4. SED-ML support: keep track of the relative height of a graph panel (commit: a7a0c11) (details / githubweb)
5. Slight updates to our downloads and what is new pages (#1461). (commit: 095bb02) (details / githubweb)

Started by GitHub push by agarny

This run spent:

• 6.4 sec waiting;
• 1 hr 47 min build duration;
• 1 hr 47 min total from scheduled to completion.

• refs/remotes/origin/master