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

[notify--- via aur-requests]

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/