GNOME Bugzilla – Bug 755119
https://mail.gnome.org/ still mentions mailman@gnome.org
Last modified: 2015-09-19 15:20:06 UTC
https://mail.gnome.org/ Still mentions mailman@gnome.org as a contact in "Who should I contact if I have a problem with any of the mailing lists?"
Thanks for your report, I did update the index page with the appropriate information.