Release Schedule for Rocq 9.2 - rocq-prover/rocq GitHub Wiki

RM for 9.2: Nicolas Tabareau

Release process issue: TBA

• Branch creation: TBA
• 9.2+rc1: TBA
• 9.2.0: TBA