GNU bug report logs - #69910
[PATCH] Remove unnecessary group in lua-ts-mode defcustoms

Previous Next

Package: emacs;

Reported by: john muhl <jm <at> pub.pink>

Date: Wed, 20 Mar 2024 02:05:02 UTC

Severity: normal

Tags: patch

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

Bug is archived. No further changes may be made.

Full log

Message #11 received at 69910 <at> debbugs.gnu.org (full text, mbox):

From: john muhl <jm <at> pub.pink>
To: 69910 <at> debbugs.gnu.org
Subject: Re: bug#69910: [PATCH] Remove unnecessary group in lua-ts-mode
 defcustoms
Date: Tue, 19 Mar 2024 21:19:16 -0500

[0001-Remove-unneeded-group-in-lua-ts-mode-defcustoms.patch (text/x-patch, attachment)]
[Message part 2 (text/plain, inline)]

john muhl <jm <at> pub.pink> writes:

> [1. text/x-patch; 0001-Remove-unnecessary-group-in-lua-ts-mode-defcustoms.patch]...
>
>
>
> john muhl <jm <at> pub.pink> writes:
>
>> Tags: patch
>>
>> Another one that got lost. This one drops all the extra ‘:group’s
>> from the defcustoms.
This bug report was last modified 1 year and 63 days ago.

Previous Next

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