From 20c7dbfcfe6677c5305fa28ecf5e3870321cb157 Mon Sep 17 00:00:00 2001
From: Maximilian Gerhardt <maximilian.gerhardt@rub.de>
Date: Sun, 18 Dec 2022 16:34:48 +0100
Subject: [PATCH] Update to 2.6.5

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

diff --git a/platform.json b/platform.json
index 014b73a..1b2b0d4 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#d35e938c36169f1496e52ffcc4c834a82bf1f153"
+      "version": "https://github.com/earlephilhower/arduino-pico.git#4cc8e6d6db7533346a81c59657c5d76cf246668b"
     },
     "tool-rp2040tools": {
       "type": "uploader",