diff --git a/platform.json b/platform.json index 53059ab..b32ba37 100644 --- a/platform.json +++ b/platform.json @@ -47,7 +47,7 @@ "type": "framework", "optional": true, "owner": "earlephilhower", - "version": "https://github.com/maxgerhardt/arduino-pico.git#546a2a6669afb2c7c5d04e3950fa67a4ec30ec06" + "version": "https://github.com/earlephilhower/arduino-pico.git#be9e25785cbff48c6a599b4226bfa5ee970618ae" }, "tool-rp2040tools": { "type": "uploader",