Dear all,
The Rocq 9.2+rc2 tag has just been pushed. As per the release process,
package managers can start preparing package updates and library authors
can safely start preparing compatible releases.
Thank you for your attention,
Nicolas
2 Likes
This is of course an announcement for 9.2+rc2.
Sorry for the typo.
1 Like