<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  </head>
  <body>
    <p><font size="+1">I didn't do anything, and I was able to log into
        the admin interface a few days ago without any problems.</font></p>
    <p><font size="+1">Peter privately told me it works again for him
        now, so perhaps those who were affected should try again.</font></p>
    <p><font size="+1">Manuel</font></p>
    <p><font size="+1"></font><br>
    </p>
    <div class="moz-cite-prefix">On 14/10/2020 12:10, Peter Lammich
      wrote:<br>
    </div>
    <blockquote type="cite"
      cite="mid:6b24ec955fd30ae943b0b49fb290b15c200cfbac.camel@in.tum.de">
      <pre class="moz-quote-pre" wrap="">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:
</pre>
      <blockquote type="cite">
        <pre class="moz-quote-pre" wrap="">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 
<a class="moz-txt-link-freetext" 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:

»Forbidden
You don't have permission to access this resource.«

Does anyone know what is going on?

Thanks,
Mathias Fleury

_______________________________________________
isabelle-dev mailing list
<a class="moz-txt-link-abbreviated" href="mailto:isabelle-dev@in.tum.de">isabelle-dev@in.tum.de</a>
<a class="moz-txt-link-freetext" href="https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev">https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev</a>
</pre>
      </blockquote>
      <pre class="moz-quote-pre" wrap="">
</pre>
    </blockquote>
  </body>
</html>