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

From: Eli Zaretskii <[email-masked]>
Date: Sat, 26 Aug 2023 11:02:28 +0300

> Date: Mon, 21 Aug 2023 11:46:26 -0300
> Cc: Philip Kaludercic <[email-masked]>, [email-masked]
> From: Mauro Aranda <[email-masked]>
> 
> Stefan Monnier <[email-masked]> 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.