Control: tags -1 + pending Thanks, pushed to git.
Pino Toscano: > Package: ocaml-interp > Severity: wishlist > Tags: patch > > Hi, > > as result of bug #741573 (i.e. the CTTE resolution on menu systems), > Debian is migrating away from the Debian menu, in favour of the > FreeDesktop/XDG menu. > > While the current menu file does not violate Policy ยง9.6, since there > is no desktop file installed as well, IMHO it would be a better idea > to migrate to a desktop menu. Attached there is a Git commit on top > of the current debian/experimental branch to do this conversion. > > Thanks, > -- GPG: ed25519/56034877E1F87C35 GPG: rsa4096/1318EFAC5FBBDBCE https://github.com/infinity0/pubkeys.git
