[PRQ#56471] Deletion Request for arm-eabi-4.8 Accepted

[notify]

Request #56471 has been Accepted by serebit [1]:

[Autogenerated] Accepted deletion for arm-eabi-4.8.

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