The bug was updated successfully. The following people were notified: the MySQL developers, the bug reporter, and nobody else.
Bug #76875 mysqldoc svn server is offline
Submitted: 28 Apr 2015 18:47 Modified: 7 May 2015 4:56
Reporter: C.J. Adams-Collier Email Updates:
Status: Won't fix Impact on me:
None 
Category:MySQL Server: Documentation Severity:S2 (Serious)
Version: OS:Any
Assigned to: CPU Architecture:Any
Tags: documentation, subversion

[28 Apr 2015 18:47] C.J. Adams-Collier
Description:
http://svn.mysql.com is unresponsive

the server is referenced from supposedly current information published at dev.mysql.com:

http://dev.mysql.com/tech-resources/sources.html

This page links to the following url:

http://svn.mysql.com/fisheye/

How to repeat:
$ svn checkout http://svn.mysql.com/svnpublic/mysqldoc
svn: E000110: Unable to connect to a repository at URL 'http://svn.mysql.com/svnpublic/mysqldoc'
svn: E000110: Error running context: Connection timed out

Suggested fix:
bounce the server?
[28 Apr 2015 19:05] C.J. Adams-Collier
It looks like Lenz has root on that system.  It's sleep-o-clock in .de, so I'll ping him tonight after work Pacific Time.
[28 Apr 2015 19:09] C.J. Adams-Collier
Oops, Lenz is no longer on the docs team.  I'll hit Stefan up when the sun rises on that side.
[29 Apr 2015 4:27] Umesh Shastry
Hello Adams-Collier,

Thank you for the report.

Thanks,
Umesh
[7 May 2015 4:56] Erlend Dahl
[29 Apr 2015 0:44] Stefan Hinz

svn.mysql.com was shut down in 2010. As for
http://dev.mysql.com/tech-resources/sources.html, it appears someone forgot
to remove that page in 2010. I'll work with the Web team to get that fixed.
Thanks for reporting, and sorry for the inconvenience!
Stefan