From 65ae134cbe9a0f9bf61878190c92682c126ccd58 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Mon, 2 Sep 2024 09:11:39 +0000
Subject: [PATCH] web/k-web-theme: Set Version
 f022ffcbbb2c110ddfe13e6f5a7e9cd3f584ce7c

---
 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 7c7a6f40b7..f022ffcbbb 160000
--- a/web/k-web-theme
+++ b/web/k-web-theme
@@ -1 +1 @@
-Subproject commit 7c7a6f40b73dacfa280adae8b48a74301f7affe3
+Subproject commit f022ffcbbb2c110ddfe13e6f5a7e9cd3f584ce7c