From 5ce1a228e7cae453f366deb8962252b9b7356bbc Mon Sep 17 00:00:00 2001 From: Maximilian Gerhardt <maximilian.gerhardt@rub.de> Date: Sat, 1 Oct 2022 02:22:40 +0200 Subject: [PATCH] Update Arduino-Pico core commit --- platform.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/platform.json b/platform.json index 4133aa2..aecc92e 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#91b4bdb58f5f1ed7bdcd6b27a1eebc2d6f5a4056" + "version": "https://github.com/earlephilhower/arduino-pico.git#029471ecca7eafc1c52f25ac583ad41fa869c832" }, "tool-rp2040tools": { "type": "uploader",