On Wed, Jul 1, 2020 at 11:28 am, Michael Catanzaro <mcatanz...@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.

devel mailing list -- devel@lists.fedoraproject.org
To unsubscribe send an email to devel-le...@lists.fedoraproject.org
Fedora Code of Conduct: 
List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines
List Archives: 

Reply via email to