Update: I guess they didn’t announce it because they were about to release the final thing. Yes, WordPress 2.5 final has been released and even WordPress.org has undergone a total revamp to match the release.
Yes, I just downloaded it through WordPress.org though can’t find it being mentioned anywhere on WordPress Development Blog. Did they forget [...]