Merge branch 'develop' of https://github.com/maxgerhardt/platform-ras…

…pberrypi into develop
maxgerhardt · Jan 27, 2024 · cdbbfe7 · cdbbfe7
2 parents a025e1a + da81492
commit cdbbfe7
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/builder/frameworks/arduino/mbed-core b/builder/frameworks/arduino/mbed-core
diff --git a/platform.json b/platform.json
@@ -18,7 +18,7 @@
     "type": "git",
     "url": "https://github.com/platformio/platform-raspberrypi.git"
   },
-  "version": "1.10.0",
+  "version": "1.11.0",
   "frameworks": {
     "arduino": {
       "package": "framework-arduino-mbed",
@@ -41,7 +41,7 @@
       "type": "framework",
       "optional": true,
       "owner": "platformio",
-      "version": "~4.0.6"
+      "version": "~4.0.10"
     },
     "framework-arduinopico": {
       "type": "framework",