community/gnome-shell-extensions: upgrade to 47.3
https://download.gnome.org/sources/gnome-shell-extensions/47/gnome-shell-extensions-47.3.news
Loading
Please register or sign in to comment
https://download.gnome.org/sources/gnome-shell-extensions/47/gnome-shell-extensions-47.3.news