Skip to content

Move gnome-themes-extra to -world

Javier Jardón requested to merge jjardon/gnome-themes-extra into master

Seems unmaintained, not a new release since 3.28 (2 years ago)

Merge request reports