March 5, 2013
9:17 a.m.
On Mar 5, 2013, at 8:25 AM, Marcus Denker <marcus.denker@inria.fr> wrote:
Hi,
The jenkins infrastructure has some problems⦠due to that
is currently down.
We have contacted the admins.
Fixed. Marcus