Re: [tei-council] what is Jenkins complaining about?