Releasing?

[andres-erbsen]

When the stdlib split was proposed, IIRC the tentative agreement was to keep release schedule in sync with Rocq until decided otherwise. Yet looks like we completely forgot to figure out and distribute the work of actually keeping it in sync? Now it seems that there is no 9.1 release or 9.2-release candidate, and opam users are still on stdlib 9.0, blocking use of new stdlib features there.

What's to do? I definitely do not wish for opam-release management duties.

[SkySkimmer]

rocq 9.2 is not compatible with stdlib 9.0 so a release is needed anyway

[proux01]

I'll do a release once 9.2+rc1 is out. But if you want to do it feel free to (the release process is documented in dev/doc/howto_release.md and seems relatively simple), I can handle the opam and nix packaging anyway, just let me know so that we don't duplicate work.