[PRQ#48317] Deletion Request for mono-addins-git

1 Oct 2023

      MarsSeed [1] filed a deletion request for mono-addins-git [2]:

Not a VCS package; duplicate of mono-addins from extra repo.

[1] https://aur.archlinux.org/account/MarsSeed/
[2] https://aur.archlinux.org/pkgbase/mono-addins-git/

notify＠aur.archlinux.org