Hi Peter, * Peter O'Gorman wrote on Tue, Jun 02, 2009 at 04:01:16PM CEST: > I just did git push --all; git push --tags; to update savannah's copy of > the repository.
Thank you! > So much easier than last time :) Good thing you didn't have any local branches or tags in your tree! Cheers, Ralf _______________________________________________ http://lists.gnu.org/mailman/listinfo/libtool
