Merge pull request #93045 from jtojnar/gnome-shell-cleanup
gnome3.gnome-shell: clean up
authored by Jan Tojnar and committed by GitHub 5 years ago 82c91e13 43259950