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

RM for 9.4: Gaëtan Gilbert

Release process issue: TODO

• Branch creation: TBA
• 9.4+rc1: TBA
• 9.4.0: TBA