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

[notify at aur.archlinux.org]

Request #22808 has been accepted automatically by the Arch User
Repository package request system:

Deletion of a fresh package requested by its current maintainer.