[Agda] Notification: Archives now public

[Nils Anders Danielsson]

On Thu, 06 Dec 2007, Nils Anders Danielsson <nad at cs.chalmers.se> wrote:

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

And now I have been informed that it cannot be changed. Perhaps we'll
start using an external service to archive the messages, but it's not
a high priority, so don't expect it to happen any time soon.

-- 
/NAD