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 <marcus.denker@inria.fr> 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"