[PRQ#81827] Deletion Request for gnome-shell-extension-aggregatemenu-hider-git Accepted

[notify]

Request #81827 has been Accepted by Muflone [1]:

[Autogenerated] Accepted deletion for gnome-shell-extension-
aggregatemenu-hider-git.

[1] https://aur.archlinux.org/account/Muflone/