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. _______________________________________________ bug-gnulib mailing list [email protected] http://lists.gnu.org/mailman/listinfo/bug-gnulib
