Re: [Tei-council] release branch

I duely added the new Stylesheets release branch to the Jenkins release jobs and updated the subsequent TEI jobs to pick up this branch. It’s building right now: https://jenkins.tei-c.org/view/Release/ Best Peter

Am 28.01.2019 um 21:31 schrieb Syd Bauman :

OK. I should be checking in the README changes in roughly 2-3 hours, if that's OK.

...

Done. Sorry, busy morning.

---

Tei-council mailing list Tei-council@lists.tei-c.org http://lists.lists.tei-c.org/mailman/listinfo/tei-council