manual.texi:

  Fix Danish mirror contact
parent f3d6caf1
...@@ -6441,7 +6441,7 @@ Please report bad or out-of-date mirrors to @email{webmaster@@mysql.com}. ...@@ -6441,7 +6441,7 @@ Please report bad or out-of-date mirrors to @email{webmaster@@mysql.com}.
@item @item
@c removed 991020 (no DNS entry). New name 991026. Added 991121 @c removed 991020 (no DNS entry). New name 991026. Added 991121
@c Statistics at http://mirror.borsen.dk/ @c Statistics at http://mirror.borsen.dk/
@c EMAIL: mirrorman@borsen.dk (Michael Kyed) @c EMAIL: guru@borsen.dk (Jesper Angelo)
@image{Flags/denmark} Denmark [Borsen] @ @image{Flags/denmark} Denmark [Borsen] @
@uref{ http://mysql.borsen.dk/, WWW} @uref{ http://mysql.borsen.dk/, WWW}
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment