[aur-requests] [PRQ#25441] Deletion Request for croco-tools-git Accepted

11 May 2021


      Request #25441 has been accepted by grawlinson [1].

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

notify＠aur.archlinux.org