Hi, For the record, this has already been filed against Lintian as #667614[1], where I have debating this with Benjamin Drung. Feel free to follow up on the Debian bug if you have ideas for solving the problem etc.
~Niels [1] http://bugs.debian.org/667614 ** Bug watch added: Debian Bug tracker #667614 http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=667614 -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1012459 Title: carve out distro information to distro-info package To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/lintian/+bug/1012459/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
