[Mailman-Users] Any way to change all members of a particular domain to another domain?

[Steve Campbell]

We are going to change one of the domain names we have. I have a few 
lists where members of these lists will need to have their email 
addresses changed.

member1 at old-domain.com -> member1 at new-domain.com

I am aware of a few ways I could do this. One is pipe the list's members 
into a file, delete the list, and recreate the members. Or just do an 
add-the-new and delete-the-old. Is there any way other than this?

Thanks
steve campbell