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

[notify]

Request #78860 has been Accepted by Muflone [1]:

[Autogenerated] Accepted deletion for sourcery-codebench-arm-none-
eabi.

[1] https://aur.archlinux.org/account/Muflone/