Good day folks! The core WordPress team has released an important security release. Please update you sites now. If there are any problems with the update, post a comment here.
Update: The post about the update is here https://wordpress.org/news/2013/06/wordpress-3-5-2/
There was an issue with the original file. It has been rebuilt and can be updated now.