Huh. I had 3 open sessions visible when I logged in to savannah: https://savannah.gnu.org/my/admin/sessions.php
The last 2 had a trash can icon, I clicked there and deleted them. But the first says "Current session". I can't delete it from savannah. I assume these were sessions that terminated improperly, but how can I close the session that savannah thinks I'm still using? - Mark _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org http://lists.gnu.org/mailman/listinfo/lilypond-devel