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

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/