From 4775ff7681119442d646480a458e817a71899541 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Fri, 31 Oct 2025 14:52:25 +0000
Subject: [PATCH] web/k-web-theme: Set Version
 b2aa636ad6a42fa9d23c09f3791529cf3eab591a

---
 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 f022ffcbbb2..b2aa636ad6a 160000
--- a/web/k-web-theme
+++ b/web/k-web-theme
@@ -1 +1 @@
-Subproject commit f022ffcbbb2c110ddfe13e6f5a7e9cd3f584ce7c
+Subproject commit b2aa636ad6a42fa9d23c09f3791529cf3eab591a