Has 1.2.5 been released?

The http://jquery.com/ homepage is now linking to 1.2.5 - has this
been officially released? I can't find a changelog or blog post or
even an announcement on the mailing list about it - what's new?
Cheers,
Simon