[isabelle-dev] Registering not available

[Mathias Fleury]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20201014/2b493eef/attachment.htm>