manual.texi developer@lists -> internals@lists email address.

Docs/manual.texi:
  developer@lists -> internals@lists email address.

Docs/manual.texi

@@ -8456,7 +8456,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.