From a51f48da059c8738e11428498f13b6fd71b68e42 Mon Sep 17 00:00:00 2001 From: valeros Date: Tue, 30 Jul 2024 14:10:59 +0300 Subject: [PATCH 1/2] Update Arduino-mbed core to v4.1.5 --- platform.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/platform.json b/platform.json index f441713..7eebd75 100644 --- a/platform.json +++ b/platform.json @@ -35,7 +35,7 @@ "type": "framework", "optional": true, "owner": "platformio", - "version": "~4.1.3" + "version": "~4.1.5" }, "tool-rp2040tools": { "type": "uploader", From 1e44fc8aec9bdd7f7d373746d1495e857956bfbb Mon Sep 17 00:00:00 2001 From: valeros Date: Tue, 30 Jul 2024 15:44:26 +0300 Subject: [PATCH 2/2] Bump version to 1.14.0 --- platform.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/platform.json b/platform.json index 7eebd75..7ec3c96 100644 --- a/platform.json +++ b/platform.json @@ -18,7 +18,7 @@ "type": "git", "url": "https://github.com/platformio/platform-raspberrypi.git" }, - "version": "1.13.0", + "version": "1.14.0", "frameworks": { "arduino": { "package": "framework-arduino-mbed",