> From: Bernhard Voelker <m...@bernhard-voelker.de> > 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 people were aware of this. Dale
