On Sat, Oct 3, 2009 at 2:43 AM, Ingo Weinhold <ingo_weinhold@xxxxxx> wrote: > not that I want to rush anything, but since the BerliOS repository seems to > be down again: Is anything holding up the switch to our svn server? Interestingly, it seems anon svn:// is still working here...