diff --git a/Docs/manual.texi b/Docs/manual.texi
index ee56c5d22ce..4555390af64 100644
--- a/Docs/manual.texi
+++ b/Docs/manual.texi
@@ -8457,7 +8457,7 @@ following compilers and options:
 
 Anyone who has more optimal options for any of the configurations listed
 above can always mail them to the developer's mailing list at
-@email{developer@@lists.mysql.com}.
+@email{internals@@lists.mysql.com}.
 
 RPM distributions prior to @strong{MySQL} Version 3.22 are user-contributed.
 Beginning with Version 3.22, some RPMs are generated by us at MySQL AB.