Sorry for my lack of knowledge - my mirror (linus.iyte.edu.tr) now has the release 13 in "development" path. When the time comes, should I move all that stuff to "releases" path and sync - to avoid wasted time waiting for linus to download everything again? Thanks, -turgut --