Fixed CHANGES to allow automatic tag extraction by dune-release

jserot · Nov 28, 2023 · 8f2516c · 8f2516c
1 parent 5a05931
commit 8f2516c
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,5 +1,3 @@
-# Changes
-
 # 2.0 (Nov 28, 2023)
 
 * Entirely recrafted modular implementation (host+guests languages)