Jim Meyering Sat, 05 Sep 2009 07:34:54 -0700
FYI, I've just rebased next and pushed it. At the same time, I removed the parts of that branch that updated the gnulib submodule, since that's already done on master.
