bug#65401: 30.0.50; custom-theme-directory :type could be enhanced

[Eli Zaretskii]

> Date: Mon, 21 Aug 2023 11:46:26 -0300
> Cc: Philip Kaludercic <philipk@posteo.net>, 65401@debbugs.gnu.org
> From: Mauro Aranda <maurooaranda@gmail.com>
> 
> Stefan Monnier <monnier@iro.umontreal.ca> writes:
> 
>  >>> > -  :type 'string
>  >>> > +  :type 'directory
>  >>> >    :group 'customize
>  >>> > -  :version "22.1")
>  >>> > +  :version "30.1")
>  >>>
>  >>> Does the version tag have to be bumped, for a metadata change this 
> like?
>  >>
>  >> Probably not.  AFAIK, this is only used for showing "new and changed"
>  >> options when users upgrade, and this change will be invisible at
>  >> user level.
>  >
>  > Agreed.
>  >
>  >
>  >         Stefan
> 
> Sending an updated patch.  Thanks.

Thanks, installed on the master branch, and closing the bug.