From: brian m. carlson <hidden> Date: 2018-08-23 05:09:58
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