[PRQ#64829] Deletion Request for gnome-shell-extension-rounded-window-corners
26 Oct
2024
26 Oct
'24
10:15 a.m.
MarsSeed [1] filed a deletion request for gnome-shell-extension- rounded-window-corners [2]: Not compatible with GNOME 45+. Upstream no longer provides updates. [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/gnome-shell-extension-rounded-window-corne...
27 Oct
27 Oct
10:50 a.m.
New subject: [PRQ#64829] Deletion Request for gnome-shell-extension-rounded-window-corners Accepted
Request #64829 has been Accepted by Muflone [1]: [Autogenerated] Accepted deletion for gnome-shell-extension-rounded- window-corners. [1] https://aur.archlinux.org/account/Muflone/
74
Age (days ago)
75
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org