On Wed, Jul 3, 2019 at 11:49 AM Junio C Hamano <gits...@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
