[PRQ#78860] Deletion Request for sourcery-codebench-arm-none-eabi

[notify]

tee [1] filed a deletion request for sourcery-codebench-arm-none-eabi
[2]:

ERR_NAME_NOT_RESOLVED

[1] https://aur.archlinux.org/account/tee/
[2] https://aur.archlinux.org/pkgbase/sourcery-codebench-arm-none-eabi/