Ralf Wildenhues wrote (on Tue, 5 Apr 2011 at 23:30 +0200): > Thank you! Could you also list libtool on <http://debbugs.gnu.org/>?
Umm, I did. Maybe you have a stale cache? _______________________________________________ http://lists.gnu.org/mailman/listinfo/libtool
