From e688409bdd8a6a9e13a53e9129fb9cec7f3c1c0a Mon Sep 17 00:00:00 2001 From: valeros Date: Mon, 27 May 2024 16:16:13 +0300 Subject: [PATCH 1/2] Update Arduino-mbed core to v4.1.3 --- platform.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/platform.json b/platform.json index 1491e8d..cb76519 100644 --- a/platform.json +++ b/platform.json @@ -35,7 +35,7 @@ "type": "framework", "optional": true, "owner": "platformio", - "version": "~4.1.1" + "version": "~4.1.3" }, "tool-rp2040tools": { "type": "uploader", From ad9aee8bdc3ab775f585f163030c252a24ae2f23 Mon Sep 17 00:00:00 2001 From: valeros Date: Wed, 29 May 2024 13:42:47 +0300 Subject: [PATCH 2/2] Bump version to 1.13.0 --- platform.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/platform.json b/platform.json index cb76519..f441713 100644 --- a/platform.json +++ b/platform.json @@ -18,7 +18,7 @@ "type": "git", "url": "https://github.com/platformio/platform-raspberrypi.git" }, - "version": "1.12.0", + "version": "1.13.0", "frameworks": { "arduino": { "package": "framework-arduino-mbed",