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

pavbaranov [1] filed a deletion request for micro [2]: Just see Description and PKGBUILD - this package is "empty". BTW it's orphaned, too [1] https://aur.archlinux.org/account/pavbaranov/ [2] https://aur.archlinux.org/pkgbase/micro/