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

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: john muhl <jm <at> pub.pink>
Subject: bug#69910: closed (Re: bug#69910: [PATCH] Remove unnecessary
 group in lua-ts-mode defcustoms)
Date: Sat, 23 Mar 2024 07:27:03 +0000

[Message part 1 (text/plain, inline)]

Your bug report

#69910: [PATCH] Remove unnecessary group in lua-ts-mode defcustoms

which was filed against the emacs package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to 69910 <at> debbugs.gnu.org.

-- 
69910: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=69910
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

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.

[Message part 3 (message/rfc822, inline)]

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

Tags: patch

Another one that got lost. This one drops all the extra ‘:group’s
from the defcustoms.

Previous Next

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