Am Mittwoch, den 08.04.2020, 09:41 +0200 schrieb 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.
$ git push origin :dev/translation-merge :dev/translation-picking :dev/translation-picking-merge To ssh://git.sv.gnu.org/srv/git/lilypond.git - [deleted] dev/translation-merge - [deleted] dev/translation-picking - [deleted] dev/translation-picking-merge ... and gone.
signature.asc
Description: This is a digitally signed message part
