[meta] Changes for 8.20

rocq-archive · Sep 8, 2024 · feb42b7 · feb42b7
1 parent 96a6c1b
commit feb42b7
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,9 +1,13 @@
-## unreleased
+## 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)
  - [general] Drop support for OCaml 4.09-4.11 (@ejgallego, #409)
+ - [serlib] Embed `serlib` from `coq-lsp` as to help 8.20 release (@ejgallego)
+ - [meta] Add license info for sertop.el (@ejgallego, @SnarkBoojum, fixes #411)
 
 ## Version 0.19.3