Hello, I can't find any threads about that and I'm wondering if there was ever a debate regarding translation of gnome extensions. I mean those gathered at https://extensions.gnome.org/, not merely the package gnome-extensions. There are many many usefull, but momentarily cramp the UI. There could be a agregating category, similar to gnome circle.
Is that possible? Thanks, Matej
_______________________________________________ gnome-i18n mailing list [email protected] https://mail.gnome.org/mailman/listinfo/gnome-i18n
