Re: [Pharo-dev] filetree jenkins job