Enrico Zini Thu, 21 Mar 2019 07:45:16 -0700
Package: ftp.debian.org Severity: normal Hello,
launchtool is not really used, I think it's time to let it go. I'd like it to be removed from unstable, as well as from testing/buster. Enrico
