18 Mar
2016
18 Mar
'16
1:06 a.m.
That's my belief too Sent from my Honor Mobile -------- Original Message -------- Subject: [tei-council] Fwd: shivering ... From: Peter Stadler To: tei-council@lists.tei-c.org CC: 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?