[aur-requests] [PRQ#12839] Deletion Request for gnatcoll Accepted

[notify--- via aur-requests]

Request #12839 has been accepted by coderobe [1].

[1] https://aur.archlinux.org/account/coderobe/