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

24 Nov 2018


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

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

notify＠aur.archlinux.org