On Mon, Jan 18, 2016 at 09:05:01AM +0100, Ignacio Casal Quinteiro wrote: > +1 on changing it to Text Editor for linux while I would keep it as "gedit > Text Editor" for osx and windows.
"Text Editor" is fine for me. Sébastien _______________________________________________ [email protected] https://mail.gnome.org/mailman/listinfo/release-team Release-team lurker? Do NOT participate in discussions.
