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

10 Jun 2023

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

Moved into the official repositories.

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

notify＠aur.archlinux.org