Re: [Savannah-hackers-public] getting gawk-diffs mailing list?

[Aharon Robbins]

Thanks Jim.

I just pushed a change; let's hope that it went out.

Thanks,

Arnold