<div dir="ltr"><div>Hi all,</div><div><br></div><div>Hans-Jörg noticed that registering on the mailing list is currently not available -- it produces an error message. If I go to <a href="https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev">https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev</a> and try to subscribe by giving an email address, I get the following error:<br></div><div><br></div><div>»Forbidden
<p>You don't have permission to access this resource.«</p><p><br></p><p>Does anyone know what is going on?</p><p><br></p><p>Thanks,</p><p>Mathias Fleury<br></p><p><br></p></div></div>