Re: [Pharo-dev] Jenkins build trigger