Prepare for release v0.9

Gbury · Jul 4, 2023 · d9f5abb · d9f5abb
1 parent 42491ce
commit d9f5abb
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,5 +1,5 @@
 
-next
+v0.9
 ----
 
 ### Doc

diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-0.8.1
+0.9
diff --git a/src/bin/main.ml b/src/bin/main.ml
@@ -119,7 +119,7 @@ let doc conf t =
 (* ********* *)
 
 let () =
-  let version = "0.8.1" in
+  let version = "0.9" in
   let exits =
     List.map (fun code ->
         let retcode, doc = Dolmen_loop.Code.descr code in