Hello again!After switching the development branch for Polari went well, we went ahead and switched mutter, gnome-shell and gnome-shell-extensions as well (from "master" to "main").
Cheers, Florian
_______________________________________________ gnome-i18n mailing list [email protected] https://mail.gnome.org/mailman/listinfo/gnome-i18n
