diff --git a/src/version.ml b/src/version.ml index a7f8e75ac..2a6b3b020 100644 --- a/src/version.ml +++ b/src/version.ml @@ -1 +1 @@ -let version = "Version 1.00, 7ebbf65b, Thu Feb 20 20:25:29 2020 +0300" +let version = "Version 1.00, 395cb3f0, Thu Feb 20 20:27:21 2020 +0300"