[PRQ#75952] Deletion Request for anyrun-plugin-symbols-git Accepted

[notify]

Request #75952 has been Accepted by bertptrs [1]:

[Autogenerated] Accepted deletion for anyrun-plugin-symbols-git.

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