Processing commands for control@bugs.debian.org: > severity 80767 normal Bug#80767: man pages in wrong directory Severity set to `normal'. > End of message, stopping processing here. Please contact me if you need assistance. Darren Benham (administrator, Debian Bugs database)