From 6de524e45d6af97bece90bb91a215f57b167d5ae Mon Sep 17 00:00:00 2001 From: Valerii Koval Date: Fri, 27 May 2022 19:48:58 +0300 Subject: [PATCH] Update Arduino-mbed core to v3.1.1 --- platform.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/platform.json b/platform.json index 4ab2f54..ecde199 100644 --- a/platform.json +++ b/platform.json @@ -35,7 +35,7 @@ "type": "framework", "optional": true, "owner": "platformio", - "version": "~3.0.1" + "version": "~3.1.1" }, "tool-rp2040tools": { "type": "uploader",