From 5da0273afa32a8cb6f813fe23d9ee0a82c28edf3 Mon Sep 17 00:00:00 2001
From: Kakadu <Kakadu@pm.me>
Date: Fri, 1 Nov 2024 22:20:04 +0300
Subject: [PATCH] Add space after 'Version'

Signed-off-by: Kakadu <Kakadu@pm.me>
---
 src/dune | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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