Ci is up again⦠we now need to restart the slaves.
On 20 Feb 2015, at 11:03, 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
