[splint-discuss] Mailing List Changes

[David Evans]

You are receiving this message because you subscribe to the
lclint-interest at virginia.edu mailing list.  That mailing list has been
renamed to splint-discuss at cs.virginia.edu and is now run using
mailman.  The old mailing list and administrative addresses will forward
to the new list.

The main advantage to switching the list to the cs.virginia.edu mail
server, is we can now run it as an automatic bounce list but require
manual approval for messages that are sent from addresses that do not
correspond to list subscribers.  So, if you send a message to
splint-discuss at cs.virginia.edu from the address you are subscribed as, it
will automatically be sent to all list subscribers.

To modify your list preferences (or to unsubscribe from the list) visit:

   http://www.splint.org/mailman/listinfo/splint-discuss

Best,

--- Dave
=======================================================================
David Evans				             evans at virginia.edu
http://www.cs.virginia.edu/evans                           434 982 2218
Assistant Professor of Computer Science
University of Virginia