Fix links to GNU mail archive.

1 files changed, 1 insertions, 1 deletions

diff --git a/devel.html b/devel.html
index 642177ed..68bd102d 100644
--- a/devel.html
+++ b/devel.html
@@ -71,7 +71,7 @@ low-volume list restricted to the core developers of the Hurd.  If you
 want to follow up on the discussion of the Hurd experts, please reply
 to the Bug-hurd mailing list.  You can also follow the Hurd-devel
 mailing list by browsing the <A
-HREF="http://mail.gnu.org/pipermail/hurd-devel/">web-based archive of
+HREF="http://lists.gnu.org/archive/html/hurd-devel/">web-based archive of
 Hurd-devel</A>.  <H3><A HREF="#TOCtasks" NAME="tasks">Tasks</A></H3>
 <P>
 Developing an operating system is a huge job, with a lot of different