* Glenn Morris wrote on Tue, Apr 05, 2011 at 11:46:21PM CEST: > 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?
I guess. It works now. Thank you Glenn for taking care of this! Ralf _______________________________________________ http://lists.gnu.org/mailman/listinfo/libtool
