From 323905c1c31e7a07057d80495d06ba7a3c45ece1 Mon Sep 17 00:00:00 2001
From: unknown <mwagner@evoq.home.mwagner.org>
Date: Sat, 30 Sep 2000 20:29:40 -0500
Subject: [PATCH] manual.texi	Added uklinux.net mirror.

Docs/manual.texi:
  Added uklinux.net mirror.
---
 Docs/manual.texi | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/Docs/manual.texi b/Docs/manual.texi
index 59f36feea7..c1fa466a36 100644
--- a/Docs/manual.texi
+++ b/Docs/manual.texi
@@ -3948,6 +3948,13 @@ UK [PLiG/UK] @
 @uref{http://ftp.plig.org/pub/mysql/, WWW}
 @uref{ftp://ftp.plig.org/pub/mysql/, FTP}
 
+@item
+@c lance@uklinux.net (Lance)
+@c @image{Flags/great-britain}
+UK [uklinux.net] @
+@uref{http://mirror.uklinux.net/mysql/, WWW}
+@uref{ftp://mirror.uklinux.net/pub/mysql/, FTP}
+
 @c @item
 @c unknown
 @c @image{Flags/great-britain} UK [MicroMuse] @
-- 
2.30.9