Thanks for alerting us. Should be back to nomal now. Tobias
On 14/10/2020 10:35, 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
smime.p7s
Description: S/MIME Cryptographic Signature
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
