From 53a6a37313cb12261c32207fb2f4d9ead1661128 Mon Sep 17 00:00:00 2001 From: unknown Date: Thu, 25 Oct 2001 10:49:51 +0200 Subject: [PATCH] manual.texi: * Update WideXS mirror URLs Docs/manual.texi: * Update WideXS mirror URLs --- Docs/manual.texi | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Docs/manual.texi b/Docs/manual.texi index 000a16b2153..b30b73e96da 100644 --- a/Docs/manual.texi +++ b/Docs/manual.texi @@ -6728,9 +6728,9 @@ Please report bad or out-of-date mirrors to @email{webmaster@@mysql.com}. @item @c EMAIL: mysql@widexs.nl (Wouter de Jong) -@image{Flags/netherlands} Netherlands [Widexs BV] @ -@uref{http://mysql.widexs.nl/, WWW} -@uref{ftp://mysql.widexs.nl/pub/mysql/, FTP} +@image{Flags/netherlands} Netherlands [WideXS BV] @ +@uref{http://mysql.mirror.widexs.nl/, WWW} +@uref{ftp://mirror.widexs.nl/pub/mysql/, FTP} @item @c EMAIL: peter@proserve.nl (ProServe - Peter Batenburg)