From 68ad2d0b94b94fbfbf3a2ce43e606b93e1d37c05 Mon Sep 17 00:00:00 2001 From: Rijnard van Tonder Date: Sat, 14 Sep 2019 18:59:24 -0400 Subject: [PATCH] release cut v0.8.0 --- src/main.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main.ml b/src/main.ml index 2dfa196e..07a4182e 100644 --- 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"