Eli Zaretskii <eliz@gnu.org> schrieb am Sa., 18. Apr. 2015 um 10:35 Uhr:

> > From: Philipp Stephani <p.stephani2@gmail.com>
> > Date: Sat, 18 Apr 2015 08:26:21 +0000
> > Cc: 20346@debbugs.gnu.org
> >
> > From my experience the documentation is correct, and it's the
> customization
> > option list that's incomplete. I can send a patch if you like.
>
> Please do, and thanks!
>

Patch is attached.