[aur-requests] [PRQ#14632] Deletion Request for devkitppc-bin

carstene1ns [1] filed a deletion request for devkitppc-bin [2]: All devkitpro packages are nowadays provided in a custom pacman repository, removing them from AUR will lessen maintenance burden. [1] https://aur.archlinux.org/account/carstene1ns/ [2] https://aur.archlinux.org/pkgbase/devkitppc-bin/