I just did git push --all; git push --tags; to update savannah's copy of the repository.
So much easier than last time :) Peter -- Peter O'Gorman http://pogma.com _______________________________________________ http://lists.gnu.org/mailman/listinfo/libtool
