From 308a9f47d9c6098aab96902402f3d7a1a5ce2434 Mon Sep 17 00:00:00 2001
From: Danya Berezun <danya.berezun@gmail.com>
Date: Wed, 4 Oct 2023 14:35:35 +0200
Subject: [PATCH] upd version print

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

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