We're going to be moving our whole campus to another domain name, and I was
wondering if there is a Listserv command to change everyone's address on the
whole server from @PANAM.EDU to @UTPA.EDU. Anyone know it?

Another thing I'd like to know is if there's a query that can be made to
find out which lists on the server a particular user belongs to. Would you
mind sharing with me if you know it?

Thanks,
-aht