On Sat, Sep 14, 2019 at 5:35 AM Gavin Smith wrote:
> On Mon, Sep 2, 2019 at 6:28 PM Jim Meyering 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 a
On Mon, Sep 2, 2019 at 6:28 PM Jim Meyering 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
