From 503a45b6a1633fa71def898baa14ab8481c2470e Mon Sep 17 00:00:00 2001
From: rv-jenkins <admin@runtimeverification.com>
Date: Thu, 10 Oct 2024 07:42:30 -0600
Subject: [PATCH] web/k-web-theme: Set Version
 f022ffcbbb2c110ddfe13e6f5a7e9cd3f584ce7c (#2602)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Co-authored-by: devops <devops@runtimeverification.com>
Co-authored-by: Andrei Văcaru <16517508+anvacaru@users.noreply.github.com>
---
 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