From 81e537a86e55f4f591e9062f914d9be5c7c7200d Mon Sep 17 00:00:00 2001
From: Maximilian Gerhardt <maximilian.gerhardt@rub.de>
Date: Tue, 19 Jul 2022 12:02:51 +0200
Subject: [PATCH] ULTRA-TEMPORARILY point to fixed Arduino-Pico for WiFi build

Until https://github.com/earlephilhower/arduino-pico/pull/686 is merged
---
 platform.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/platform.json b/platform.json
index 1ba2997..53059ab 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#2.3.2"
+      "version": "https://github.com/maxgerhardt/arduino-pico.git#546a2a6669afb2c7c5d04e3950fa67a4ec30ec06"
     },
     "tool-rp2040tools": {
       "type": "uploader",