Re: Mutter, shell + shell extensions main branch

2021-07-19 Thread Claude Paroz
Le 19.07.21 à 00:26, Florian Müllner a écrit : 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 Thanks for the notice, l10n.gnome.org

Mutter, shell + shell extensions main branch

2021-07-18 Thread Florian Müllner
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 gnome-i18n@gnome.org