Oct. 20, 2023
                
            
            
            
        
    
                9:53 p.m.
            
        systemctl stop mailman3 systemctl stop mailmanweg
mysqldump mailman3 > mailman3-olddomain.sql sed "s/olddomain/newdomain/g" mailman3-olddomain.sql > mailman3-newdomain.sql mysql mailman3 < mailman3-newdomain.sql
systemctl start mailman3 systemctl start mailmanweg
solved my problem of "how to change the mail domain name".