Update Arduino-mbed core to v4.2.1

valeros · valeros · commit 96227347b5c0 · 2024-11-28T18:00:40.000+02:00
diff --git a/platform.json b/platform.json
@@ -35,7 +35,7 @@
       "type": "framework",
       "optional": true,
       "owner": "platformio",
-      "version": "~4.1.5"
+      "version": "~4.2.1"
     },
     "tool-rp2040tools": {
       "type": "uploader",
