timestamp.chk says 25 december
Michael, can you check?
Sorry, there was a problem with the cronjobs on the server. Should be fixed by now.
Thanks for fixing :)
Another cron job problem? timestamp.chk currently says 15 october after syncing from rsync1.at.gentoo.org.