Jim Meyering <[EMAIL PROTECTED]> writes: > I'll hold off on the commit until Paul signs off on it.
That looks good to me. Thanks for doing the merge. _______________________________________________ bug-gnulib mailing list bug-gnulib@gnu.org http://lists.gnu.org/mailman/listinfo/bug-gnulib
