Follow-up Comment #7, sr #110149 (project administration):
The issue is gone, so it seems indeed to have been due to the DDoS attacks or
similar (which was indeed more important to address than my small issue).
Thanks for your help, Eric (and good luck with addressing the DDoS)
PS: I can't seem to be able to close my own ticket, feel free to close it in
due time.
_______________________________________________________
Reply to this item at:
<https://savannah.nongnu.org/support/?110149>
_______________________________________________
Message sent via Savannah
https://savannah.nongnu.org/
