[PRQ#49896] Deletion Request for petsc-git-release

entshuld [1] filed a deletion request for petsc-git-release [2]: I was never notified of any deletion. Please, delete this package ASAP !!! [1] https://aur.archlinux.org/account/entshuld/ [2] https://aur.archlinux.org/pkgbase/petsc-git-release/