[aur-requests] [PRQ#10017] Deletion Request for micro

nycko123 [1] filed a deletion request for micro [2]: Hi there is no point of existing of this package. It's a waste of space :) A provide micro-bin. micro-git builds from sources. [1] https://aur.archlinux.org/account/nycko123/ [2] https://aur.archlinux.org/pkgbase/micro/