When I updated to WordPress 3.5, it took a long time and I think some files may have transferred incorrectly… (Actually, something definitely went wrong or timed-out because I didn’t get a copy of the new Twenty Twelve theme at first)