Merge pull request #29332 from romildo/fix.gnome-shell-extensions
gnome-shell-extensions: enable all extensions
authored by Joachim F and committed by GitHub 8 years ago 707b2814 3d3e224a