[aur-requests] [PRQ#32505] Deletion Request for gnome-shell-extension-arc-menu-bin

yochananmarqos [1] filed a deletion request for gnome-shell-extension- arc-menu-bin [2]: The Debian version isn't compatible with GNOME Shell 40. The maintainer never responded to my comment. [1] https://aur.archlinux.org/account/yochananmarqos/ [2] https://aur.archlinux.org/pkgbase/gnome-shell-extension-arc-menu-bin/