Subversion failure behind proxy only to anonsvn.mit.edu

[Jeff Blaine]

Per the instructions:

   src:> svn co svn://anonsvn.mit.edu/krb5 trunk
   svn: Can't connect to host 'anonsvn.mit.edu': Connection timed out

src:> grep ^http ~/.subversion/servers
http-proxy-exceptions = *.our.org
http-proxy-host = gate.our.org
http-proxy-port = 80
http-timeout = 60
src:>

Other various subversion checkouts work fine with the
same environment, such as:

svn co http://svn.apache.org/repos/asf/subversion/trunk subversion