Subject: Re: bug#47384: [PATCH 1/2] hostname: fix a memory leak with -Dlint

From: Kamil Dudka <[email-masked]>
Date: Thu, 25 Mar 2021 17:33:50 +0100

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