Bruno Haible <[EMAIL PROTECTED]> writes: > You're right, and the patch looks good. OK to commit, Paul?
Yes, and thanks for checking it. I committed it. _______________________________________________ bug-gnulib mailing list bug-gnulib@gnu.org http://lists.gnu.org/mailman/listinfo/bug-gnulib
