On Wed, Jul 1, 2020 at 11:28 am, Michael Catanzaro
<mcatanzaro(a)gnome.org> wrote:
I have not much opinion on whether we should use this vs. nano.
Actually, playing with it for an extra three minutes... it's *really*
nice.
I know micro is not nearly as standard or popular as nano, but... this
is worth serious additional consideration.