From d9e7cee66b43b318fc0b6a974a5acfcea1bcb3bd Mon Sep 17 00:00:00 2001 From: valeros Date: Mon, 19 Feb 2024 15:19:19 +0200 Subject: [PATCH 1/2] Update Arduino-mbed core to v4.1.1 --- platform.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/platform.json b/platform.json index a728474..41683976 100644 --- a/platform.json +++ b/platform.json @@ -35,7 +35,7 @@ "type": "framework", "optional": true, "owner": "platformio", - "version": "~4.0.10" + "version": "~4.1.1" }, "tool-rp2040tools": { "type": "uploader", From f0ed97867c4112ee74a9655d09bde211b6c7d1f7 Mon Sep 17 00:00:00 2001 From: valeros Date: Tue, 27 Feb 2024 15:14:59 +0200 Subject: [PATCH 2/2] Bump version to 1.12.0 --- platform.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/platform.json b/platform.json index 41683976..1491e8d 100644 --- a/platform.json +++ b/platform.json @@ -18,7 +18,7 @@ "type": "git", "url": "https://github.com/platformio/platform-raspberrypi.git" }, - "version": "1.11.0", + "version": "1.12.0", "frameworks": { "arduino": { "package": "framework-arduino-mbed",