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

Previous Next

Package: emacs;

Reported by: Mauro Aranda <maurooaranda <at> gmail.com>

Date: Sun, 20 Aug 2023 10:49:01 UTC

Severity: normal

Tags: patch

Found in version 30.0.50

Done: Eli Zaretskii <eliz <at> gnu.org>

Bug is archived. No further changes may be made.

Full log

View this message in rfc822 format

From: Mauro Aranda <maurooaranda <at> gmail.com>
To: Stefan Monnier <monnier <at> iro.umontreal.ca>, Eli Zaretskii <eliz <at> gnu.org>
Cc: Philip Kaludercic <philipk <at> posteo.net>, 65401 <at> debbugs.gnu.org
Subject: bug#65401: 30.0.50; custom-theme-directory :type could be enhanced
Date: Mon, 21 Aug 2023 11:46:26 -0300

[Message part 1 (text/plain, inline)]
Stefan Monnier <monnier <at> 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 (text/x-patch, attachment)]
This bug report was last modified 1 year and 268 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.