IRC server moving

Leon Brocard acme at
Mon Jun 26 13:49:41 BST 2006

Hello kids,

We have a nice place where people can chat on IRC, as listed on:

The recommended way to chat is on, as this
will give you a geographically-local IRC server.

However, you might have been hardcoding the IRC server to be The server running that will be down temporarily
tonight and actually offline in a week or so. Fear not! There is a new
server: which is called If you want low-lag IRC
access, please test for the next week.

However, like I mentioned, it's still recommended to just use, as it will all automagically work.

Enjoy! Leon

More information about the mailing list