[changes] Update changes file for 0.19 release

rocq-archive · Feb 15, 2024 · d09a927 · d09a927
1 parent 4d38ca0
commit d09a927
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,5 +1,9 @@
 ## unreleased
 
+## Version 0.19.0
+
+ - [serapi] (!) support for Coq 8.19, thanks to all the developers
+            that contributed compatibility patches.
  - [general] Cleanup old / unused code (@ejgallego, #362)
 
 ## Version 0.18.1: