Merge work:/home/bk/mysql

into evoq.home.mwagner.org:/home/mwagner/work/bk/mysql

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.