has 5.2 been officially released?

[nguyenm100]

sorry if I missed this but, @hmottestad, I see 5.2 was cut from the main branch last week but don't see it in: https://github.com/eclipse-rdf4j/rdf4j/releases

also, looks to be avail in mavencentral https://mvnrepository.com/artifact/org.eclipse.rdf4j/rdf4j-model

[hmottestad]

I forgot to get a review from Eclipse Foundation before this release, which I should have done since it's been > 1 years since our last review. So I'm waiting for hear back before I do the official release announcement.