From a05a0c65e32b95291be630ee8d4d6523c615a671 Mon Sep 17 00:00:00 2001
From: Ivan Kravets <me@ikravets.com>
Date: Thu, 31 Mar 2022 17:29:36 +0300
Subject: [PATCH] Update Arduino-mbed core to v3.0.1

---
 platform.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/platform.json b/platform.json
index 4dad7ea..f4282c1 100644
--- a/platform.json
+++ b/platform.json
@@ -35,7 +35,7 @@
       "type": "framework",
       "optional": true,
       "owner": "platformio",
-      "version": "~2.7.0"
+      "version": "~3.0.1"
     },
     "tool-rp2040tools": {
       "type": "uploader",