From c08eb87c0998caf8c33b8491387a0e5b9bc360ac Mon Sep 17 00:00:00 2001
From: "marcoemi.poleggi" <marco-emilio.poleggi@hesge.ch>
Date: Wed, 16 Nov 2022 16:54:01 +0100
Subject: [PATCH] Update index.html

---
 public/index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/public/index.html b/public/index.html
index 940b38d..9fd2465 100644
--- a/public/index.html
+++ b/public/index.html
@@ -27,7 +27,7 @@
 			touch the 'Id' string--it will be automatically populated by Git
 			checkout.</p>
 		<div class="version">
-			Version: 1.2.3
+			Version: 1.2.4
 		</div>
 		<div class="commit">
 			Commit: $Id: 242e2db4c0bee7e7362e14e371d72189884d0d8a $
-- 
GitLab