Overview
Request 774372 accepted
- Enable packaging of user-theme extension: Despite its name, this
extension is also used to enable 'system themes' in GMOME Tweaks.
And since we have multiple themes in the repository, we should
also provide the needed extension to enable them.
- No longer obsolete gnome-shell-extension-user-theme.
Request History
dimstar created request
- Enable packaging of user-theme extension: Despite its name, this
extension is also used to enable 'system themes' in GMOME Tweaks.
And since we have multiple themes in the repository, we should
also provide the needed extension to enable them.
- No longer obsolete gnome-shell-extension-user-theme.
gnome-review-bot accepted review
Check script succeeded
iznogood accepted review
ok
iznogood approved review
ok
iznogood accepted request
xinfwd
