Fix one more dev site reference in the manual.

diff --git a/doc/manual.xml.head b/doc/manual.xml.head
index aef78042d20a586b57e9ffcec3d85ae8eca12762..d2093fa0b5ac272fe2f07dc2961037826bcb54e1 100644 (file)
--- a/doc/manual.xml.head
+++ b/doc/manual.xml.head
@@ -168,7 +168,7 @@ improve and continue to maintain stale translations.
 <para>
 For contributing code patches for new features and bug fixes, please
 refer to the developer pages at
-<ulink url="http://dev.mutt.org/">http://dev.mutt.org/</ulink> for more details.
+<ulink url="https://gitlab.com/muttmua/mutt">https://gitlab.com/muttmua/mutt</ulink> for more details.
 </para>
 
 </sect1>