From: Carlo Arenas <carenas@gmail.com>
Date: Thu, 04 Jul 2019 05:11:52 GMT
Subject: Re: [PATCH 0/2] a few more redundant system include cleanups
Message-ID: <CAPUEspjp3WkHk376hu5EvvyufGYQCSHKM6cTT3hnQyfNgpnLzg@mail.gmail.com>
In-Reply-To: <xmqqtvc3ymux.fsf@gitster-ct.c.googlers.com>

On Wed, Jul 3, 2019 at 11:49 AM Junio C Hamano <gitster@pobox.com> wrote:
>
> Carlo, no need to rush, but has this happened already?  I do not
> recall seeing an update, and I am wondering if I missed one.

Junio; had yet to send the update, so nothing was missed

Carlo