diff options
| -rw-r--r-- | Docs/manual.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Docs/manual.texi b/Docs/manual.texi index a9ba8e5f117..5bbe3b19066 100644 --- a/Docs/manual.texi +++ b/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. |