[changes] Release 0.20.0 for Coq 8.20

rocq-archive · Sep 8, 2024 · cddc890 · cddc890
1 parent bf785c7
commit cddc890
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,5 +1,7 @@
 ## Version 0.20.0
 
+ - [serapi] (!) support for Coq 8.20, thanks to all the developers
+            that contributed compatibility patches.
  - [serlib] Support `micromega_core` plugin (@ejgallego)
  - [serlib] Compat with ppx_deriving 6 (@ejgallego)
  - [serlib] Move `serlib` sources to `coq-lsp` (@ejgallego, #409)