Processing commands for cont...@bugs.debian.org: > # Automatically generated email from bts, devscripts version 2.10.35lenny1 > user debian-pol...@packages.debian.org Setting user to debian-pol...@packages.debian.org (was r...@debian.org). > package debian-policy Ignoring bugs not assigned to: debian-policy
> usertags 511804 informative Bug#511804: menu.txt.gz: Please list full section name in headings There were no usertags set. Usertags are now: informative. > tags 511804 pending Bug#511804: menu.txt.gz: Please list full section name in headings There were no tags set. Tags added: pending > End of message, stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database) -- To UNSUBSCRIBE, email to debian-policy-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org