On Thu, Feb 23, 2017 at 3:05 PM, Jeff King <peff@xxxxxxxx> 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