Morgan Ridel

I expected the incoming merge of https://github.com/epfml/disco/pull/474, I'll solve the conflicts soon

I was considering waiting after the release to merge it, as it does not really affect behavior. This would prevent any big unseen bugs going into 2.0 release

Will separate the frontend part in another PR as discussed with @martinjaggi