I noticed that there are items in the `Patch Manager' and `Tech Support Manager' web interfaces under https://savannah.gnu.org/projects/gnulib. I suspect these aren't read, and you might want to turn off those forums (or whatever they're called). Apologies if that's a bad guess.
I was looking there for an actual distribution of gnulib. I don't know whether it's policy not to make one, but if so it may be worth mentioning that in README. _______________________________________________ bug-gnulib mailing list bug-gnulib@gnu.org http://lists.gnu.org/mailman/listinfo/bug-gnulib
