I just spotted that 7.2.2 and 8.0.2 are now available on the download pages. I'm sure an official announcement will follow soon.