Hi guys, On Thu, Sep 17, 2015 at 7:20 AM, bthirion <bertrand.thirion at inria.fr> wrote: > Great, congratulations ! Congratulations too. It might be worth checking the buildbots - some of them were offline until recently, but they are all red at the moment... Cheers, Matthew