24 Dec
2018
24 Dec
'18
11:54 a.m.
koloved [1] filed a deletion request for gnome-shell-extension-pixel- saver [2]: outdated [1] https://aur.archlinux.org/account/koloved/ [2] https://aur.archlinux.org/pkgbase/gnome-shell-extension-pixel-saver/