Subject: Re: [PATCH] Man: Add menu.
From: Glenn Morris <[email-masked]>
To: [email-masked]
Date: Sat, 26 Oct 2013 22:04:14 -0400
List-Id: <debbugs-submit.debbugs.gnu.org>

Version: 24.4

Thank you, applied. Trivial comments follow:

Rüdiger Sonderfeld wrote:

> +(defcustom man-imenu-title "Contents"
> +  "The title to use if man adds a Contents menu to the menubar.
> +Default is \"Contents\"."

No need to say what the default is, since that information is
automatically available. New defcustoms need :version tags.

BTW, I suggest you create a Savannah account and request membership of
the Emacs project so that you can commit these things yourself.