14 Dec
2016
14 Dec
'16
12:43 p.m.
Just for redundancy I added the release jobs to the Paderborn Jenkins, as well: http://jenkins-paderborn.tei-c.org/view/Release/ Am I right that the 3.1-fun starts tomorrow?! Cheers Peter