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

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/