[PRQ#41763] Deletion Request for gnome-shell-extension-dash-to-panel Accepted

[notify]

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/