On Sat, Sep 14, 2019 at 5:35 AM Gavin Smith <gavinsmith0...@gmail.com> wrote: > On Mon, Sep 2, 2019 at 6:28 PM Jim Meyering <j...@meyering.net> wrote: > > > > Gavin Smith proposed a patch for this back in http://bugs.gnu.org/34201 > > Another reference to the problem: http://bugs.gnu.org/36921 > > > > In the attached (in Gavin's name), I've added a NEWS entry and > > adjusted the ChangeLog entry. Will push in a day or so if no comment. > > Thanks for taking the time to look at this.
Oh! Thanks for the reminder. I've just pushed that.