From: Junio C Hamano <gitster@pobox.com>
Date: Fri, 03 Aug 2018 17:13:53 GMT
Subject: Re: [PATCH 00/12] Kill the_index part2, header file cleanup
Message-ID: <xmqqtvobxtim.fsf@gitster-ct.c.googlers.com>
In-Reply-To: <CACsJy8DnsTw6_Ohu+rZyqiBGV127dJ1Y4xGRbkRTaBchHtaQxQ@mail.gmail.com>

Duy Nguyen <pclouds@gmail.com> writes:

> Another friendly ping. I really need to know if I need to update (or
> drop) this part before moving on to part 3.

Easier is to resend and see if it sticks this time (that is how I
landed format-patch back when I was just an individual contributor
;-)

I will see if I can locate them in the archive (I actually do not
have strong preference either way myself, so the inaction was not a
form of objection but was merely showing a "Meh").

Thanks for prodding.