[aur-requests] [PRQ#25813] Deletion Request for milcheck-bin

doums [1] filed a deletion request for milcheck-bin [2]: Hi, I created a no bin version of this package -> https://aur.archlinux.org/packages/milcheck/ So this one can be deleted now. I will not maintain it. Thanks ! [1] https://aur.archlinux.org/account/doums/ [2] https://aur.archlinux.org/pkgbase/milcheck-bin/