From: Junio C Hamano <gitster@pobox.com>
Date: Thu, 07 Jun 2007 02:52:33 GMT
Subject: Re: [PATCH v2] Remove useless uses of cat, and replace with filename arguments or redirection
Message-ID: <7vtztkqxvy.fsf@assigned-by-dhcp.cox.net>
In-Reply-To: <46676C35.60406@freedesktop.org>

Josh Triplett <josh@freedesktop.org> writes:

> No, just fixed differently. :) Note the change to the tr invocation: delete
> everything other than digits.

Ah, silly me.  Sorry for the noise.