[aur-requests] [PRQ#9934] Merge Request for micro

[notify at aur.archlinux.org]

neitsab [1] filed a request to merge micro [2] into micro-bin [3]:

This package doesn't build from source but downloads a prebuilt
binary, which is already provided in exactly the same fashion by
micro-bin.

Moreover, its maintainer is not very diligent on updates (as can be
seen in the comments), whereas micro-bin has garnered no complaints
and is already up-to-date.

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