Skip to content

Some more small cleanups

Florian Müllner requested to merge fmuellner/gnome-shell:minor-cleanups into master

Not entirely sure about the first commit, the others should be straight-forward.

Merge request reports