[PRQ#41952] Deletion Request for gnome-shell-extension-arc-menu Accepted

[notify]

Request #41952 has been Accepted by City-busz [1]:

Moved into the official repositories.

[1] https://aur.archlinux.org/account/City-busz/