Re: [Mailman-Developers] What happens with mailman after a crash