[PRQ#75972] Deletion Request for gnu-shark Accepted

[notify]

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

[Autogenerated] Accepted deletion for gnu-shark.

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