[tei-council] Fwd: shivering ...

I forward Martin’s question … To my knowing, the Pure-ODD-branch has been merged into dev and does not need building at Jenkins anymore. Is this true? Best Peter

Anfang der weitergeleiteten Nachricht:

Von: Martin Holmes Betreff: Aw: [tei-council] shivering ... Datum: 17. März 2016 um 16:54:40 MEZ An: Peter Stadler

There's some old cruft in the root jobs folder from something long ago, and there are some branches perhaps I could remove -- knowing what the Council is doing these days, do you think I need the Pure-ODD branches?