Dominique Leuenberger
4e5939e3f4
update to 3.1.3 OBS-URL: https://build.opensuse.org/request/show/75916 OBS-URL: https://build.opensuse.org/package/show/GNOME:Factory/gnome-shell-extensions?expand=0&rev=12
The gnome-shell-extensions package is a meta-package recommending subpackages for separate installation.