11 Feb
2020
11 Feb
'20
1:27 a.m.
Syd, thanks for the notice – I just removed the job from our main Jenkins (at Paderborn). Cheers Peter
Am 11.02.2020 um 00:46 schrieb Syd Bauman
: Jenkins and Travis maintainers --
You can remove the syd-standOff branch jobs from the CI servers at your leisure. _______________________________________________ Tei-council mailing list Tei-council@lists.tei-c.org http://lists.lists.tei-c.org/mailman/listinfo/tei-council