Email Gateway (Oct 14 2020 at 08:36): Email Gateway (Oct 14 2020 at 08:36):From: Mathias Fleury <mathias.fleury12@gmail.com>
Hi all,
Hans-Jörg noticed that registering on the mailing list is currently not
available -- it produces an error message. If I go to
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
and try to subscribe by giving an email address, I get the following error:
»Forbidden
You don't have permission to access this resource.«
Does anyone know what is going on?
Thanks,
Mathias Fleury
Email Gateway (Oct 14 2020 at 10:10):From: Peter Lammich <lammich@in.tum.de>
This is strange. I used to be admin of this list, but find myself
locked out from the admin interface!
@Manuel: have you changed the passwords or settings?
Email Gateway (Oct 14 2020 at 12:44):From: Manuel Eberl <eberlm@in.tum.de>
I didn't do anything, and I was able to log into the admin interface a
few days ago without any problems.
Peter privately told me it works again for him now, so perhaps those who
were affected should try again.
Manuel
Email Gateway (Oct 14 2020 at 13:29):From: Tobias Nipkow <nipkow@in.tum.de>
Thanks for alerting us. Should be back to nomal now.
Tobias
smime.p7s
Last updated: Apr 19 2024 at 08:19 UTC