Fix pico_status_led to change the color of an already-on colored LED#2632

kilograham merged 1 commit intodevelopraspberrypi/pico-sdk:developfrom

lurch-patch-2raspberrypi/pico-sdk:lurch-patch-2Copy head branch name to clipboard