[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#77228: [PATCH] Create major mode for `customize-dirlocals`
From: |
Eli Zaretskii |
Subject: |
bug#77228: [PATCH] Create major mode for `customize-dirlocals` |
Date: |
Thu, 24 Apr 2025 15:08:37 +0300 |
> Date: Thu, 24 Apr 2025 07:44:42 -0300
> Cc: 77228@debbugs.gnu.org
> From: Mauro Aranda <maurooaranda@gmail.com>
>
> Elijah Gabe Pérez <eg642616@gmail.com> writes:
>
> > Eli Zaretskii writes:
> >
> > > Cc: 77228@debbugs.gnu.org
> > > From: Elijah Gabe Pérez <eg642616@gmail.com>
> > > Date: Fri, 04 Apr 2025 22:39:59 -0600
> > >
> > > > Let's see if somebody else has an opinion. I'm on a trip for the
> > > > weekend, so it won't be until next week that I can install this.
> > >
> > > Don't worry, take your time.
> >
> > Ping! Any progress here?
> >
> > Well, the patch is ready to install, I'm waiting Mauro's review.
>
> Code changes look good to me. Please remember to add a mention to the
> bug number in the commit log message.
>
> Currently, I don't have good access to internet, so I'd appreciate if
> someone else can install the patch, to not delay this further.
Thanks, done.