gnome-shell-extensions: version bump to 3.12.2