Bug#496706: man pages' NAME section wrong

[jidanni at jidanni.org]

>>>>> "g" == grub-devel-owner  <grub-devel-owner at gnu.org> writes:

g> You are not allowed to post to this mailing list, and your message has
g> been automatically rejected.  If you think that your messages are
g> being rejected in error, contact the mailing list owner at
g> grub-devel-owner at gnu.org.

Yes, I wanted to say please see
http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=496706