Update allocated-pids.txt

[CircuitART]

reusing those pids for a new dev board, because the old one never came to life and it was canceled
old pull request: #33

[CircuitART]

am getting this error under build(pull_request) >> check removed lines
Run bash -c "! git diff -b origin/main | grep '^-0'"
-0x80DB | CircuitArt FeatherS3 - Arduino
-0x80DC | CircuitArt FeatherS3 - UF2 Bootloader
-0x80DD | CircuitArt FeatherS3 - CircuitPython

[Spritetm]

Yep, the repo is set up to be amend-only as as soon as a PID is given out, there's no way of telling if it's in use or not. Given the fact that you're using the same account as the one originally requesting the PID, I'll allow the change.

[CircuitART]

Thank you, I appreciate it