Mike Stump <mrs@apple.com> wrote: > $ svn switch svn+ssh://gcc.gnu.org/svn/gcc/branches/gcc-4.0-branch > > to: > > $ svn switch svn+ssh://gcc.gnu.org/svn/gcc/branches/gcc-4_0-branch > > :-( Took me a while to figure out what was wrong. :-( Sorry about that! -- Giovanni Bajo