[PRQ#41763] Deletion Request for gnome-shell-extension-dash-to-panel
1 Jun
2023
1 Jun
'23
5:29 p.m.
yochananmarqos [1] filed a deletion request for gnome-shell-extension- dash-to-panel [2]: Now in Arch extra: https://archlinux.org/packages/extra/any/gnome- shell-extension-dash-to-panel/ [1] https://aur.archlinux.org/account/yochananmarqos/ [2] https://aur.archlinux.org/pkgbase/gnome-shell-extension-dash-to-panel/
2 Jun
2 Jun
8:43 p.m.
New subject: [PRQ#41763] Deletion Request for gnome-shell-extension-dash-to-panel Accepted
Request #41763 has been Accepted by Antiz [1]: [Autogenerated] Accepted deletion for gnome-shell-extension-dash-to- panel. [1] https://aur.archlinux.org/account/Antiz/
569
Age (days ago)
570
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org