Jonas Hahnfeld <hah...@hahnjo.de> writes: > Hi David, > > I think these have gone via translation to master, so safe to delete?
I think so. -- David Kastrup
Jonas Hahnfeld <hah...@hahnjo.de> writes: > Hi David, > > I think these have gone via translation to master, so safe to delete?
I think so. -- David Kastrup