Re: [PATCH v2] Remove useless uses of cat, and replace with filename arguments or redirection

Josh Triplett [off-list ref] writes:

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

Ah, silly me.  Sorry for the noise.