Follow-up Comment #4, sr #109028 (project administration):
Oh, sorry, should have been more clear: yes, it worked ever since I
re-uploaded the last key.
At least one of the other keys is in use as well, but I'd have to check all my
machines to figure out if it is the only one. Only ever had trouble connecting
from the newly installed Ubuntu 16.04 (with the .ssh directory copied over
from the working 14.04 no less), so I'll better keep everything as it is :-).
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/support/?109028>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
