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
