Re: RRI patches for grep

[arnold]

Paolo,

I'm sorry. I give up.

Please implement RRI to suit the way you want it done. Feel free to use
whatever from my code / doc as you like, or not.

I am happy with what I have now in gawk and will eventually pick up
grep's changes from dfa if they suit me.

Thanks,

Arnold