Redboard definition missing from pico-sdk repo

[TylerBovenzi]

It seems sparkfun_iotredboard_rp2350 is missing from the pico-sdk repo. As a result, I'm unable to add the board using the vscode extension. I am using v2.1.

[santaimpersonator]

I'm going to close this issue, it looks like the pull request for the board has already been merged. You can find the neccessary file here.