[PRQ#71663] Deletion Request for devtools32 Accepted

[notify]

Request #71663 has been Accepted by Antiz [1]:

[Autogenerated] Accepted deletion for devtools32.

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