[v8.20] changelog update to reflect serlib vendoring.

rocq-archive · Aug 29, 2024 · cf7eba3 · cf7eba3
1 parent 0291cbc
commit cf7eba3
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -4,6 +4,7 @@
  - [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)
 
 ## Version 0.19.3