Skip to content

Include top-icons extension

Florian Müllner requested to merge fmuellner/gnome-shell-extensions:top-icons into main

The code was originally hosted in my private namespace with the intention to move it to gitlab.gnome.org/World/Extensions. Alas, nearly three years weren't enough to clarify what URL the UUID would be allowed to be based on, so the move never happened.

Give up and include the extension here instead.

Merge request reports