Paul Eggert <[EMAIL PROTECTED]> writes: > Simon Josefsson <[EMAIL PROTECTED]> writes: > >> I don't know. Should I remove them? > > Yes please; they contribute nothing and might lead an unwary reader > into thinking that they're needed for some reason.
Done. Ok to install? _______________________________________________ bug-gnulib mailing list [email protected] http://lists.gnu.org/mailman/listinfo/bug-gnulib
