Allow any gpis pin to be used (not just the first 32)#113

georgeharker wants to merge 2 commits intoraspberrypi:rp2040-v0.12.0raspberrypi/openocd:rp2040-v0.12.0from

georgeharker:rp2040-v0.12.0georgeharker/openocd:rp2040-v0.12.0Copy head branch name to clipboard