Re: [tei-council] Problems with the UVic Jenkins server