Update Arduino-mbed core to v2.7.2

valeros · valeros · commit eca3b40879aa · 2022-02-21T16:50:14.000+02:00
diff --git a/platform.json b/platform.json
@@ -35,7 +35,7 @@
       "type": "framework",
       "optional": true,
       "owner": "platformio",
-      "version": "~2.6.0"
+      "version": "~2.7.0"
     },
     "tool-rp2040tools": {
       "type": "uploader",
