Subject: Re: bug#5572: 23.1; Undocumented key :value-to-internal in customize system
From: Teemu Likonen <[email-masked]>
To: Glenn Morris <[email-masked]>
Cc: [email-masked]
Date: Sat, 13 Feb 2010 21:59:51 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

* 2010-02-13 14:21 (-0500), Glenn Morris wrote:

> Teemu Likonen wrote:
>
>> :value-to-internal key doesn't seem to be documented anywhere so I
>> consider this a documentation bug.
>
> Custom uses the widget library, and this is documented in widget.texi.

Ah, thanks for the info. I didn't know about the Widget library at all.

Well, I'll just close this bug then.