Update platform.json

maxgerhardt · web-flow · commit 17cb99f3fbe6 · 2022-07-15T18:24:59.000+02:00
diff --git a/platform.json b/platform.json
@@ -35,7 +35,7 @@
       "type": "toolchain", 
       "optional": true,
       "owner": "earlephilhower",
-      "version": "5.100300.220629"
+      "version": "5.100300.220714"
     },
     "framework-arduino-mbed": {
       "type": "framework",
