[TYPES] Errant messages sent to types

[Stephanie Weirich]

Several email messages were accidently distributed to many addresses on 
the TYPES mailing list earlier today. They were sent from an old alias 
(types-distrib2) that was used to distribute TYPES messages before the 
switch to a MailMan-based list. Apparantly a virus got hold of that 
defunct, but still live address. We've turned off that address now, so 
it shouldn't happen again.  Sorry for the mailbox clutter.

    - Stephanie
    (TYPES moderator)