[PRQ#49071] Deletion Request for jdk13-openjdk-bin Rejected

Request #49071 has been Rejected by MarsSeed [1]: Revoking request, please kindly disregard it. Maintainer @jooch has reached out to me and explained that this is still needed for one specific package, whose upstream needs to fix the build when using a newer jdk (jdk17). [1] https://aur.archlinux.org/account/MarsSeed/