From e3446b7526dae45fd4e7e21fea7733d772369c67 Mon Sep 17 00:00:00 2001
From: Maximilian Gerhardt <maximilian.gerhardt@rub.de>
Date: Sat, 29 Jul 2023 22:49:36 +0200
Subject: [PATCH] Update Arduino-Pico to bleeding-edges master (fixes
 Intellisense issues with newer PIO cores)

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

diff --git a/platform.json b/platform.json
index 11bcf4b..4bb3fff 100644
--- a/platform.json
+++ b/platform.json
@@ -47,7 +47,7 @@
       "type": "framework",
       "optional": true,
       "owner": "earlephilhower",
-      "version": "https://github.com/earlephilhower/arduino-pico.git#20cabe824fadf9f9ef0bc7c69864e516863b6f7c"
+      "version": "https://github.com/earlephilhower/arduino-pico.git#3cc5ac14ff5ab9fd2d0399c8d4a99c3451c5e818"
     },
     "tool-rp2040tools": {
       "type": "uploader",