From: Felipe Contreras <felipe.contreras@gmail.com>
Date: Tue, 01 Dec 2020 23:32:46 GMT
Subject: Re: [PATCH 2/4] .gitignore: remove dangling file
Message-ID: <CAMP44s1sdTYxWthfHCxPdoDdmapE05gG5Rr1W3BjTfWv2pCTvg@mail.gmail.com>
In-Reply-To: <xmqqczztqszv.fsf@gitster.c.googlers.com>

On Tue, Dec 1, 2020 at 12:30 PM Junio C Hamano <gitster@pobox.com> wrote:
>
> Felipe Contreras <felipe.contreras@gmail.com> writes:
>
> > The library was removed 7 years ago on commit ae34ac126f. But not from
> > the .gitignore file.
> >
> > Signed-off-by: Felipe Contreras <felipe.contreras@gmail.com>
> > ---
>
> Good eyes.  Any automation used here, or just mark I eyeballs?

Nope. Just switching to a very old branch prompted me to look at the
.gitignore file and I stumbled upon it.

-- 
Felipe Contreras