[aur-requests] [PRQ#22808] Deletion Request for gmp-git Accepted

Request #22808 has been accepted automatically by the Arch User Repository package request system: Deletion of a fresh package requested by its current maintainer.