[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#69910: [PATCH] Remove unnecessary group in lua-ts-mode defcustoms
From: |
Eli Zaretskii |
Subject: |
bug#69910: [PATCH] Remove unnecessary group in lua-ts-mode defcustoms |
Date: |
Sat, 23 Mar 2024 09:25:52 +0200 |
> From: john muhl <jm@pub.pink>
> Date: Tue, 19 Mar 2024 21:19:16 -0500
>
> > john muhl <jm@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.