manual.texi:

Change a mirror contact e-mail Docs/manual.texi: Change a mirror contact e-mail

manual.texi:
Change a mirror contact e-mail Docs/manual.texi: Change a mirror contact e-mail
0712369b · unknown · dd02abb1 · 0712369b
Commit 0712369b authored Sep 17, 2001 by unknown
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

Docs/manual.texi Docs/manual.texi +1 -1

No files found.
--- a/Docs/manual.texi
+++ b/Docs/manual.texi
@@ -6404,7 +6404,7 @@ Please report bad or out-of-date mirrors to @email{webmaster@@mysql.com}.
 @itemize @bullet

 @item
-@c EMAIL: sl@iuinfo.tuwien.ac.at (Tony Sprinzl)
+@c EMAIL: Antonin.Sprinzl@tuwien.ac.at (Tony Sprinzl)
 @image{Flags/austria} Austria [Univ. of Technology/Vienna] @
 @uref{http://gd.tuwien.ac.at/db/mysql/, WWW}
 @uref{ftp://gd.tuwien.ac.at/db/mysql/, FTP}