[PRQ#58504] Deletion Request for gnome-shell-extension-remove-dropdown-arrows
28 Mar
2024
28 Mar
'24
9:35 a.m.
MarsSeed [1] filed a deletion request for gnome-shell-extension- remove-dropdown-arrows [2]: EOL for 5 years, not compatible with GNOME since its v3.34 release. [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/gnome-shell-extension-remove-dropdown-arro...
31 Mar
31 Mar
11:36 p.m.
New subject: [PRQ#58504] Deletion Request for gnome-shell-extension-remove-dropdown-arrows Accepted
Request #58504 has been Accepted by muflone [1]: [Autogenerated] Accepted deletion for gnome-shell-extension-remove- dropdown-arrows. [1] https://aur.archlinux.org/account/muflone/
173
Age (days ago)
176
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org