Skip to content

extensions: Drop Convenience library

Florian Müllner requested to merge no-convenience into master

Its methods are now provided by gnome-shell itself and can be used as an easy drop-in replacement.

Merge request reports