mail has been down for the past two days. things are up again and old
messages should now be getting through. mail was down temporarily
after we applied a patch for the recent cvs security hole. if anyone
notices anything odd with either cvs or mail, please let us know.
david