Arnold, The gawk-diffs list now exists and people can subscribe to it at http://lists.gnu.org/mailman/listinfo/gawk-diffs.
However, I belatedly realized that I don't know if (a) your switch to git is complete, and (b) if git changes will be sent to the list, the way cvs and bzr changes are, or if something more has to be done. Please commit something and we'll see. Thanks, k
