[v8.20] Update changelog

rocq-archive · Aug 29, 2024 · 7509ce8 · 7509ce8
1 parent 65fbee2
commit 7509ce8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,4 +1,4 @@
-## unreleased
+## Version 0.20.0
 
  - [serlib] Support `micromega_core` plugin (@ejgallego)
  - [serlib] Compat with ppx_deriving 6 (@ejgallego)