On Thursday, March 25, 2021 5:09:44 PM CET Paul Eggert wrote:
> On 3/25/21 9:08 AM, Kamil Dudka wrote:
> > Wasn't that exactly what -Dlint was for when we discussed it the last
> > time?
>
> Sorry, don't recall the last time.
I meant this thread on bug-gnulib ML:
https://lists.gnu.org/archive/html/bug-gnulib/2020-05/msg00114.html
> This is a borderline area, admittedly.
How does it differ from the following change, which you did not block?
https://git.savannah.gnu.org/gitweb/?p=coreutils.git;a=commitdiff;h=v8.24-21-ga4b640549df
Kamil
