On Thu, Feb 23, 2017 at 3:05 PM, Jeff King <p...@peff.net> wrote: > > (By the way, I don't see your version on the list, Linus, which probably > means it was eaten by the 100K filter).
Ahh. I didn't even think about a size filter. Doesn't matter, your version looks fine. Linus