New mailman version

I’m so glad mail.gnome.org now has a new version of Mailman that I needed to say
thanks publicly to whomever did the upgrade. I’ve switched from having to deal
with 60/70 (mostly) spam messages per mailing list I manage, to only having like
3 or 4 per list, thanks to the filters you can set up, and thus discard all messages
coming from given addresses. My life as a mailing list admin is now much better
than before.