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
[email protected]
http://lists.gnu.org/mailman/listinfo/lilypond-devel
