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
