From b83816d6530195eac6a284cd7545d8c60d51a932 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Fri, 14 Apr 2023 03:50:43 +0000
Subject: [PATCH] web/k-web-theme: Set Version
 4ba8eb439c23fd55d687d016c037a0a2d5ee09ce

---
 web/k-web-theme | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/web/k-web-theme b/web/k-web-theme
index 189fe6650..4ba8eb439 160000
--- a/web/k-web-theme
+++ b/web/k-web-theme
@@ -1 +1 @@
-Subproject commit 189fe6650488f8f04dc89d25a61cdfd888cd9dd8
+Subproject commit 4ba8eb439c23fd55d687d016c037a0a2d5ee09ce