diff --git a/gnome-shell-extensions.doap b/gnome-shell-extensions.doap
index 5a7183a5..b38e8cc3 100644
--- a/gnome-shell-extensions.doap
+++ b/gnome-shell-extensions.doap
@@ -18,7 +18,6 @@ Most extensions can be installed by configuring --prefix=$HOME/.local,
 and will be picked automatically at next login.
   </description>
   <homepage rdf:resource="https://wiki.gnome.org/Projects/GnomeShell/Extensions" />
-  <mailing-list rdf:resource="http://mail.gnome.org/mailman/listinfo/gnome-shell-list" />
   <support-forum rdf:resource="https://discourse.gnome.org/tag/shell" />
   <download-page rdf:resource="https://download.gnome.org/sources/gnome-shell-extensions/" />
   <bug-database rdf:resource="https://gitlab.gnome.org/GNOME/gnome-shell-extensions/issues" />