Merge branch 'release/v1.9.0'

2023-03-28 14:36:36 +03:00 · 2023-03-28 14:36:36 +03:00 · 68e1b5fd82
commit 68e1b5fd82
parent 41b395f30c d3b88746db
2 changed files with 3 additions and 3 deletions
--- a/builder/frameworks/arduino/mbed-core
+++ b/builder/frameworks/arduino/mbed-core
@ -1 +1 @@
-Subproject commit ed9a3458e336660fdf2b1d4a4c828a2ddfd214ad
+Subproject commit 6174f769bfc8610a397ed0c912cd059246e547cd
--- a/platform.json
+++ b/platform.json
@ -18,7 +18,7 @@
    "type": "git",
    "url": "https://github.com/platformio/platform-raspberrypi.git"
  },
-  "version": "1.8.0",
+  "version": "1.9.0",
  "frameworks": {
    "arduino": {
      "package": "framework-arduino-mbed",
@ -35,7 +35,7 @@
      "type": "framework",
      "optional": true,
      "owner": "platformio",
-      "version": "~3.5.4"
+      "version": "~4.0.2"
    },
    "tool-rp2040tools": {
      "type": "uploader",