The change has been merged, see https://build.opensuse.org/package/view_file/GNOME:Factory/gnome-shell-extensions/gnome-shell-extensions.changes?expand=1