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 #16 received at 69910-done <at> debbugs.gnu.org (full text, mbox):

From: Eli Zaretskii <eliz <at> gnu.org>
To: john muhl <jm <at> pub.pink>
Cc: 69910-done <at> debbugs.gnu.org
Subject: Re: bug#69910: [PATCH] Remove unnecessary group in lua-ts-mode
 defcustoms
Date: Sat, 23 Mar 2024 09:25:52 +0200

> From: john muhl <jm <at> pub.pink>
> Date: Tue, 19 Mar 2024 21:19:16 -0500
> 
> > 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.

Thanks, installed on master, and closing the bug.
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.