Dear all, I just created a download page and cared about mirroring the release. Everything is in place. Just one thing: because of the buildbot error the download page is not deployed to the site. We need to fix buildbot or to put this manually online. Gavin - if you have time, can you try to push the download page manually online?
I will try to care about the buildbot issue, but I am not sure how much time it will take. Thanks Christian
