Bug#956859: [gnome-tweaks] gnome-tweaks needs gnome-shell-extension-prefs

Tobias Frost tobi at debian.org
Wed May 27 07:03:15 BST 2020


Control: retitle -1  gnome-tweaks needs gnome-shell-extension-prefs on Gnome >=3.36

According to https://bugzilla.redhat.com/show_bug.cgi?id=1814608, there is now a
dedicated app for exension configuration and gnome-tweaks is deprecated.

However I guess a Depends: or Recommends: on gnome-shell-extension-prefs would be
helpful…

-- 
tobi



More information about the pkg-gnome-maintainers mailing list