there's some other problem with gawk-diffs.

Jim has been working on getting the actual git commit hook working, in
between his myriad other projects.  Hopefully they'll start coming
through soon.

k

Reply via email to