[squeak-dev] Re: Hey, Sean: a Jenkins question for you