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 On 14/10/2020 12:10, Peter Lammich wrote: > 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? > > -- > Peter > > On Wed, 2020-10-14 at 10:35 +0200, Mathias Fleury wrote: >> 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 >> >> _______________________________________________ >> isabelle-dev mailing list >> [email protected] >> https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
