[Pharo-dev] pharo jenkins down

[Camillo Bruni]

I triggered a faulty jenkins update (or so), hence http://ci.inria.fr/pharo is 
currently down...
I will look into this evening.

sorry for the trouble.