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 updated. Claude -- www.2xlibre.net _______________________________________________ gnome-i18n mailing list gnome-i18n@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-i18n
