[Agda] Notification: Archives now public

[Nils Anders Danielsson]

On Wed, 05 Dec 2007, Lionel Elie Mamane <lionel at mamane.lu> wrote:

>> The archives of this mailing list have now been made publicly
>> available online (see https://lists.chalmers.se/pipermail/agda/)
>
> This gives a 403 (Forbidden, You don't have permission to access
> ... on this server) error.

Yes, I have been informed of this. Apparently the archives can only be
accessed from computers on Chalmers' local network. I am investigating
whether this policy can be changed.

-- 
/NAD