24 Jun
2020
24 Jun
'20
9:54 p.m.
mareex [1] filed an orphan request for gnome-shell-extension-remove- dropdown-arrows [2]: I think maintainer is not active any more. Package is almost one year out of date. [1] https://aur.archlinux.org/account/mareex/ [2] https://aur.archlinux.org/pkgbase/gnome-shell-extension-remove-dropdown-arro...