From 9f8c10e50b5acd18e7bfd32638199c655be73a5b Mon Sep 17 00:00:00 2001
From: Maximilian Gerhardt <maximilian.gerhardt@rub.de>
Date: Sun, 8 Jan 2023 15:56:01 +0100
Subject: [PATCH] Upgrade Arduino-Pico version to latest

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

diff --git a/platform.json b/platform.json
index 095c6d1..26fee84 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#e105c539ad28079371cbd7fa025590a8f80d9b9e"
+      "version": "https://github.com/earlephilhower/arduino-pico.git#aeb41f3e70628e63ed1cf13f2031cdaf61d65ad0"
     },
     "tool-rp2040tools": {
       "type": "uploader",