Package gnome-shell-extensions 3.20.1-1 (any) already flagged

gnome-shell-extensions has already been flagged out-of-date.

You can return to the package details page for gnome-shell-extensions.