Re: [tei-council] New Jenkins build jobs for bleeding-edge and stable plugin