Merge branch 'release/v1.8.0'

2023-02-28 12:35:13 +02:00 · 2023-02-28 12:35:13 +02:00 · 41b395f30c
commit 41b395f30c
parent 228b3d28de a2d1cf8e78
1 changed files with 2 additions and 2 deletions
--- a/platform.json
+++ b/platform.json
@ -18,7 +18,7 @@
    "type": "git",
    "url": "https://github.com/platformio/platform-raspberrypi.git"
  },
-  "version": "1.7.0",
+  "version": "1.8.0",
  "frameworks": {
    "arduino": {
      "package": "framework-arduino-mbed",
@ -35,7 +35,7 @@
      "type": "framework",
      "optional": true,
      "owner": "platformio",
-      "version": "~3.1.1"
+      "version": "~3.5.4"
    },
    "tool-rp2040tools": {
      "type": "uploader",