[aur-requests] [PRQ#23698] Deletion Request for micro-bin

[notify--- via aur-requests]

yochananmarqos [1] filed a deletion request for micro-bin [2]:

Not much point in this sticking around since micro is in the community
repo now.

[1] https://aur.archlinux.org/account/yochananmarqos/
[2] https://aur.archlinux.org/pkgbase/micro-bin/