Merge claudedo/3a3e87648400492bba6e9643007703db

2026-08-06 11:41:55 +02:00
parent 4a60c2bfa8 8bc7bc0c4f
commit 7240b39f16
14 changed files with 281 additions and 1 deletions
@@ -629,6 +629,9 @@
      "available": "Update available: v",
      "updateNow": "Update now",
      "dismiss": "Dismiss"
+    },
+    "staleWorker": {
+      "message": "The worker is running an older build than this repo's merged main — restart it so your merged changes take effect."
    }
  },
  "vm": {