> On Apr 27, 2020, at 6:58 AM, Berthold Stoeger <[email protected]> > wrote: > > Hi Dirk, > > There appear to be no more CI runs, which is a bit scary. See e.g. https:// > github.com/subsurface/subsurface/pull/2790
Oops. Can you push into that branch again, please? /D _______________________________________________ subsurface mailing list [email protected] http://lists.subsurface-divelog.org/cgi-bin/mailman/listinfo/subsurface
