Processed: merging 496706 505457

Debian Bug Tracking System owner at bugs.debian.org
Wed Nov 12 16:06:06 UTC 2008


Processing commands for control at bugs.debian.org:

> merge 496706 505457
Bug#496706: man pages' NAME section wrong
Bug#505457: grub-pc: GRUB manpage "NAME" fields should be more descriptive
Merged 496706 505457.

> thanks
Stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)



More information about the Pkg-grub-devel mailing list