Can we merge this patch now?
On Wed, Jun 30, 2021 at 7:14 AM Bruce D'Arcus <bdar...@gmail.com> wrote:
>
> Looks good, Bastien, and I think reflects the consensus of that thread.
>
> But trying just now, I'm not able to apply the patch on my local repo
> for whatever reason, so haven't tested it.
>
>
>
> On Wed, Jun 30, 2021 at 6:48 AM Bastien <b...@gnu.org> wrote:
> >
> > Hi Bruce,
> >
> > "Bruce D'Arcus" <bdar...@gmail.com> writes:
> >
> > > What's the status of this patch?
> >
> > Can you quickly review it and say whether it's good?
> >
> > Thanks,
> >
> > --
> > Bastien
