release cut v0.8.0

comby-tools · Sep 14, 2019 · 68ad2d0 · 68ad2d0
1 parent 7ecd5ab
commit 68ad2d0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main.ml b/src/main.ml
@@ -502,4 +502,4 @@ let default_command =
 
 let () =
   Scheduler.Daemon.check_entry_point ();
-  Command.run default_command ~version:"0.7.0"
+  Command.run default_command ~version:"0.8.0"