On Tue, Dec 1, 2020 at 12:30 PM Junio C Hamano <gitster@xxxxxxxxx> wrote: > > Felipe Contreras <felipe.contreras@xxxxxxxxx> writes: > > > The library was removed 7 years ago on commit ae34ac126f. But not from > > the .gitignore file. > > > > Signed-off-by: Felipe Contreras <felipe.contreras@xxxxxxxxx> > > --- > > 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
