[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#69248: [PATCH] Fix flymake lighter tool-tip from generating errors
From: |
Eli Zaretskii |
Subject: |
bug#69248: [PATCH] Fix flymake lighter tool-tip from generating errors |
Date: |
Fri, 23 Feb 2024 17:48:04 +0200 |
> From: Spencer Baugh <sbaugh@janestreet.com>
> Cc: Eli Zaretskii <eliz@gnu.org>, 69248@debbugs.gnu.org, Robert Burks
> <rburksdev@gmail.com>
> Date: Fri, 23 Feb 2024 10:40:41 -0500
>
> João Távora <joaotavora@gmail.com> writes:
> >> João, could you please review the patch?
> >
> > No, but I'm copying Spencer Baugh, who has expressed interest in becoming
> > Flymake maintainer (and has my full endorsement, though I haven't worked
> > out the bureaucracy, if there is any)
> >
> > João
>
> The patch seems correct, if someone with commit access could please
> apply it.
Thanks, installed, and closing the bug.