From aa50fe9491859b946757956423273b8d120380b6 Mon Sep 17 00:00:00 2001
From: unknown <mwagner@evoq.home.mwagner.org>
Date: Mon, 27 Nov 2000 08:24:54 -0600
Subject: [PATCH] manual.texi	developer@lists -> internals@lists email
 address.

Docs/manual.texi:
  developer@lists -> internals@lists email address.
---
 Docs/manual.texi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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.