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.

>