Re: [Pharo-dev] Jenkins job @ ci.inria.fr