lib/pico-sdk: Fix Pico SDK fetching develop picotool.#17741
Closed
Gadgetoid wants to merge 1 commit intomicropython:masterfrom
Closed
lib/pico-sdk: Fix Pico SDK fetching develop picotool.#17741Gadgetoid wants to merge 1 commit intomicropython:masterfrom
Gadgetoid wants to merge 1 commit intomicropython:masterfrom