From 63e9c83fcd67ea28f64c8c7f2a8b1db5ea0613e7 Mon Sep 17 00:00:00 2001
From: Dmitry Boulytchev <dboulytchev@gmail.com>
Date: Mon, 18 Nov 2024 23:29:14 +0300
Subject: [PATCH] Fixed version

---
 src/dune | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/dune b/src/dune
index 47421f4df..ce950bc98 100644
--- a/src/dune
+++ b/src/dune
@@ -11,7 +11,7 @@
     version2.ml
     (progn
      (run echo let version = "\"")
-     (run echo "Version 1.2: ")
+     (run echo "Version ")
      (run git rev-parse --abbrev-ref HEAD)
      (run echo , " ")
      (run git rev-parse --short HEAD)