From 94648ead2852a124034c1419f8d8be1830e1ab16 Mon Sep 17 00:00:00 2001
From: Harald Barth <haba@kth.se>
Date: Mon, 17 Jul 2023 02:31:00 +0200
Subject: [PATCH] versiontag

---
 GITHUB_SHA.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/GITHUB_SHA.h b/GITHUB_SHA.h
index c12d38b..bdcfc16 100644
--- a/GITHUB_SHA.h
+++ b/GITHUB_SHA.h
@@ -1 +1 @@
-#define GITHUB_SHA "devel-202307142111Z"
+#define GITHUB_SHA "devel-202307170030Z"