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