Re: [ANNOUNCE] Git v2.19.0-rc0

On Thu, Aug 23, 2018 at 01:02:25AM -0400, Jeff King wrote:

Here's the patch. For some reason my numbers aren't quite as large as
they were yesterday (I was very careful to keep the system unloaded
today, whereas yesterday I was doing a few other things, so perhaps that
is the difference).

This looks sane to me.  Thanks for writing this up.
-- 
brian m. carlson: Houston, Texas, US
OpenPGP: https://keybase.io/bk2204