Paul Eggert wrote: >Derek Price <[EMAIL PROTECTED]> writes: > > > >>Revised patch attached. >> >> > >Thanks; I installed the following slightly-different patch. > >
Works for me. Thanks Paul. Derek _______________________________________________ bug-gnulib mailing list bug-gnulib@gnu.org http://lists.gnu.org/mailman/listinfo/bug-gnulib
