William Oliver writes:
I have installed mailman3 and it's up and running great. However, I noticed that, during a mass subscribe, I mis-typed an address, e.g. name@domain.ned rather than name@domain.net. I found how to unsubscribe the bad address, but I haven't found a "delete" option under Users or anywhere else. How to I purge a user from the users list?
For the record and the general audience (I assume you've already replaced the bad address with the correct one, and then deleting the User with the bad address is a perfectly good way to do it), especially in the case where you've done other configuration of that User (this would be rare as far as I can tell, but I can imagine somebody flipping all the metoo bit with a withlist script or similar), you might want to add the correct address and delete the bad one to the User.
Steve