Small problem with urls / #3826

Doing the switch with the suggested URL printed following error:

Error: 'https://streber.svn.sourceforge.net/svnroot/streber/trunk'  
Error: is not the same repository as  
Error: 'https://svn.sourceforge.net/svnroot/streber'  

However, switching to...

https://svn.sourceforge.net/svnroot/streber/trunk

... worked as expected.

Thanks!