1.7.2 out?

I noticed today that the version of UI listed on the jQuery UI website
was 1.7.2, but there doesn't seem to be any announcement anywhere or
news updates. Is it really out now? Or is it just a mistake on the
website?