From cbc6aed8facf8fea2eceb59b0e801f33038f1897 Mon Sep 17 00:00:00 2001
From: Phil Howard <github@gadgetoid.com>
Date: Tue, 22 Jul 2025 09:37:27 +0100
Subject: [PATCH] lib/pico-sdk: Fix Pico SDK fetching develop picotool.

SDK 2.1.1 shipped with PICOTOOL_FETCH_FROM_GIT configured to fetch the
"develop" branch. This broke downstream CI, which was trusting Pico
SDK to fetch the correct version.

RPi have added a "2.1.1-correct-picotool" tag which fixes this.

lib/pico-sdk: Bump to "2.1.1-correct-picotool" tag.

Signed-off-by: Phil Howard <github@gadgetoid.com>
---
 lib/pico-sdk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/pico-sdk b/lib/pico-sdk
index bddd20f928..9a4113fbba 160000
--- a/lib/pico-sdk
+++ b/lib/pico-sdk
@@ -1 +1 @@
-Subproject commit bddd20f928ce76142793bef434d4f75f4af6e433
+Subproject commit 9a4113fbbae65ee82d8cd6537963bc3d3b14bcca