From: Beman Dawes (bdawes_at_[hidden])
Date: 2002-05-09 11:12:46
At 1:30 EDT today (Thursday, May 9) we will be switching to a new server
and a new version of Mailman.
Both changes are supposed to be transparent, but this is a heads up just in
case something goes wrong.
Thanks to Brian Barrett for keeping our mailing list server and software
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk