On Feb 6, 2012, at 12:59 PM, Richard Henderson wrote:
> And, really, we ought to come up with some trick to eliminate some of the
> redundancy in patterns in the md file too.

:-)  That'd be awesome...

Reply via email to