This is trivial, but how the Git pre-commit hook is distributed has
changed, and README-hacking needs to be updated.
Dale
>From e45baabec78f1745a92cf9fc50d6a4ce450b793c Mon Sep 17 00:00:00 2001
From: "Dale R. Worley"
Date: Tue, 16 Sep 2014 12:21:30 -0400
Subject: [PATCH] Correct how to activate
> From: Bernhard Voelker
> So for your case, I recommend to do what the above output already
> suggested: remove the gnulib directory and start over with
> import-gnulib.sh.
And indeed, I did delete ./gnulib (it was empty, so it looked safe),
and everything worked.
I just wanted to make sure pe