Thank you for keeping an eye on this. Just a note: while the servers being down can induce some frustration we should remember that INRIA is very kind to offer this support for our community. So, thanks for all the hard work that happens behind the scene!
Cheers, Doru On Fri, Feb 20, 2015 at 11:03 AM, Marcus Denker <[email protected]> wrote: > Hi, > > CI Servers are still down. > > Until they are up we can not do any integration nor run the automatic check > on submitted things. > > Marcus > > -- www.tudorgirba.com "Every thing has its own flow"
