Update boring theme

bitbrain · bitbrain · commit a57b0d28332e · 2025-08-10T13:37:56.000+01:00
diff --git a/themes/boring b/themes/boring
@@ -1 +1 @@
-Subproject commit 99474989b5afb9d7b838247455fccff9b648081b
+Subproject commit 4f315f4085b6e2632a633946616a725168408b92
