diff options
Diffstat (limited to 'Docs')
| -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 fd800bbbcc3..3dc502896be 100644 --- a/Docs/manual.texi +++ b/Docs/manual.texi @@ -5649,7 +5649,7 @@ Please report bad or out-of-date mirrors to @email{webmaster@@mysql.com}. @c START_OF_MIRROR_LISTING -@c Mirrors list is created by PHP script from database (tfr@mysql.com) +@c Mirrors list is created by PHP script (that really needs to be documented!) from database (tfr@mysql.com) @include mirrors.texi @c END_OF_MIRROR_LISTING |