On Fri, Jun 28, 2013 at 07:54:31AM BST, Alexander Wirt wrote: > Upstream thought it was a good idea to remove the docs. I'll either > remove that package or replace it.
I didn't realise you had it automated to such a degree :^) Thank you. > And I don't think missing docs are a grave bug. >From Debian official documentation: grave makes the package in question unusable or mostly so, or causes data loss, or introduces a security hole allowing access to the accounts of users who use the package. So yes, the severity is *exactly* at 'grave' level as per "makes the package in question unusable or mostly so" as the package *is* unusable. As far as I'm concerned, there's nothing in the Debian Policy which makes bugs in certain types of packages, i.e. '*-doc', etc., less *important*. Kind regards, Raf -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org