Closed peterharperuk closed 3 months ago
See https://github.com/raspberrypi/pico-sdk/pull/1675
v1.6.1 will be out later this week.
seems like this is closed by #1675
See https://github.com/raspberrypi/pico-sdk/pull/1675