From fec7ed80ecfb4e3171a1c3c3748396763e54adc9 Mon Sep 17 00:00:00 2001
From: Maximilian Gerhardt <maximilian.gerhardt@rub.de>
Date: Mon, 31 Oct 2022 11:02:22 +0100
Subject: [PATCH] Update Arduino-Pico to bleeding edge

E.g. fixes WiFi RSSI, BSSID and channel reporting
---
 platform.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/platform.json b/platform.json
index 556e222..196953c 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#9d0b9bef67271222b594fdead25f21d69b22dd4c"
+      "version": "https://github.com/earlephilhower/arduino-pico.git#ec7631096b667b8d40663c6da4667e3e0aea5a97"
     },
     "tool-rp2040tools": {
       "type": "uploader",