Re: Mutter, shell + shell extensions main branch

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, updated.


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]