Rocq 9.2 has just been scheduled

[nicolas_tabareau]

Dear all,

The branching date for the 9.2 release has been set to 2026-01-09.

More details on the schedule are available here:

[

Release Schedule for Rocq 9.2 github.com

](https://github.com/rocq-prover/rocq/wiki/Release-Schedule-for-Rocq-9.2)

If you already know that a feature or cleanup PR will not be ready in time,
please remove the 9.2+rc1 milestone from the corresponding PR.

Best,

Your 9.2 RM