From 6f5cca70e458b13a5e4a7a7f018696c6a4d1ea79 Mon Sep 17 00:00:00 2001
From: "marcoemi.poleggi" <marco-emilio.poleggi@hesge.ch>
Date: Mon, 19 Dec 2022 17:29:12 +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 9fd2465..acc3105 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.4
+			Version: 1.2.5
 		</div>
 		<div class="commit">
 			Commit: $Id: 242e2db4c0bee7e7362e14e371d72189884d0d8a $
-- 
GitLab