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

Reply via email to