web/k-web-theme: Set Version b2aa636ad6a42fa9d23c09f3791529cf3eab591a (#2808)

rv-jenkins · rv-auditor · web-flow · commit ea39b6a64c6d · 2025-11-04T06:29:05.000Z
Co-authored-by: devops &lt;devops@runtimeverification.com&gt;
diff --git a/web/k-web-theme b/web/k-web-theme
@@ -1 +1 @@
-Subproject commit f022ffcbbb2c110ddfe13e6f5a7e9cd3f584ce7c
+Subproject commit b2aa636ad6a42fa9d23c09f3791529cf3eab591a
