On Thu, Jan 28, 2021 at 02:57:39PM -0500, Jeff King wrote: > Reported-by: Michael Haggerty <mhagger@xxxxxxxxxxxx> > Signed-off-by: Jeff King <peff@xxxxxxxx> This is delightful. As I was reading the discussion you and Michael had off-list, I was worried that this would be more complicated than it ended up being. But, it's terrific to see that this change appeared to be relatively easy, and the performance speaks for itself. Thanks for such a pleasant read! Thanks, Taylor
