<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>