gnomeExtensions.pixel-saver: remove
This extension is being replaced by gnomeExtensions.no-title-bar in #35281.
parent
5118a47b
Please register or sign in to comment
This extension is being replaced by gnomeExtensions.no-title-bar in #35281.