The mail server running the mailman for our mailing list will be down
for few hours on 13th during the day. We are upgrading the machine
and the server will be back to work by 6pm, if everything goes as
expected. BTW, the webserver is also the same machine, so that also
will be down.
Nagarjuna