[PRQ#75971] Deletion Request for gnu-shark-git Accepted

9 Sep 2025

      Request #75971 has been Accepted by GabStreet [1]:

[Autogenerated] Accepted deletion for gnu-shark-git.

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

notify＠aur.archlinux.org