• Notes on the release process of Coq 8.10
• Time-based release cycle
• Feature-based release cycle
• Questions