[aur-requests] [PRQ#17725] Deletion Request for vermin

[notify at aur.archlinux.org]

bulletmark [1] filed a deletion request for vermin [2]:

I have re-created and re-pushed this as python-vermin because it is a
python utility only for scanning python code so it should have always
been so-named. Please delete, or merge if easy although I don't care
about the history.

[1] https://aur.archlinux.org/account/bulletmark/
[2] https://aur.archlinux.org/pkgbase/vermin/