[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#65401: 30.0.50; custom-theme-directory :type could be enhanced
From: |
Mauro Aranda |
Subject: |
bug#65401: 30.0.50; custom-theme-directory :type could be enhanced |
Date: |
Mon, 21 Aug 2023 11:46:26 -0300 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.13.0 |
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.
0001-Improve-type-of-custom-theme-directory-Bug-65401.patch
Description: Text Data
- bug#65401: 30.0.50; custom-theme-directory :type could be enhanced, Mauro Aranda, 2023/08/20
- bug#65401: 30.0.50; custom-theme-directory :type could be enhanced, Eli Zaretskii, 2023/08/20
- bug#65401: 30.0.50; custom-theme-directory :type could be enhanced, Mauro Aranda, 2023/08/20
- bug#65401: 30.0.50; custom-theme-directory :type could be enhanced, Eli Zaretskii, 2023/08/20
- bug#65401: 30.0.50; custom-theme-directory :type could be enhanced, Mauro Aranda, 2023/08/20
- bug#65401: 30.0.50; custom-theme-directory :type could be enhanced, Eli Zaretskii, 2023/08/20
- bug#65401: 30.0.50; custom-theme-directory :type could be enhanced, Mauro Aranda, 2023/08/20
- bug#65401: 30.0.50; custom-theme-directory :type could be enhanced, Philip Kaludercic, 2023/08/21
- bug#65401: 30.0.50; custom-theme-directory :type could be enhanced, Eli Zaretskii, 2023/08/21
- bug#65401: 30.0.50; custom-theme-directory :type could be enhanced, Stefan Monnier, 2023/08/21
- bug#65401: 30.0.50; custom-theme-directory :type could be enhanced,
Mauro Aranda <=
- bug#65401: 30.0.50; custom-theme-directory :type could be enhanced, Eli Zaretskii, 2023/08/26
- bug#65401: 30.0.50; custom-theme-directory :type could be enhanced, Mauro Aranda, 2023/08/21