[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: |
Stefan Monnier |
Subject: |
bug#65401: 30.0.50; custom-theme-directory :type could be enhanced |
Date: |
Mon, 21 Aug 2023 08:39:20 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
>> > - :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
- 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 <=
- bug#65401: 30.0.50; custom-theme-directory :type could be enhanced, Mauro Aranda, 2023/08/21
- 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