Update Arduino-mbed core to v4.1.5

maxgerhardt · Jul 30, 2024 · a51f48d · a51f48d
1 parent 2c25b4b
commit a51f48d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/platform.json b/platform.json
@@ -35,7 +35,7 @@
       "type": "framework",
       "optional": true,
       "owner": "platformio",
-      "version": "~4.1.3"
+      "version": "~4.1.5"
     },
     "tool-rp2040tools": {
       "type": "uploader",