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