On Thu, Sep 17, 2020 at 7:59 PM Paul Eggert wrote:
> On 9/17/20 3:03 PM, Jim Meyering wrote:
> > The alternative is to change that "B" to a "b", which should be fine,
> > now that it's only emitted to stderr.
>
> Makes sense.
>
> NEWS should be updated accordingly - but when I looked into doing th
On 9/17/20 3:03 PM, Jim Meyering wrote:
The alternative is to change that "B" to a "b", which should be fine,
now that it's only emitted to stderr.
Makes sense.
NEWS should be updated accordingly - but when I looked into doing that I came up
with the attached more-elaborate patch, which chang
