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