Comment 11 for bug 836348

Thanks for the excellent instructions.
I'm stuck here: svn co https://gnunet.org/svn/gnunet-setup/ && cd gnunet-setup as the location does not exist any more.
Is there a new location (I could not find one) or a new procedure?
Thanks for any update you may have.