On Sat, Apr 18, 2026 at 11:42 AM Paul Eggert <[email protected]> wrote:
> On 2026-04-18 10:09, Jim Meyering wrote: > > Thank you for the patch, Bruno and the explanation, Sam. I've just pushed > > the patch with this tweaked commit log: > > Argh, I pushed Bruno's change before you did, without the tweaked log. > To make amends I pushed the attached further patch. np. Thanks for the follow up.
