[aur-requests] [PRQ#24502] Deletion Request for gnome-shell-extension-extensions-in-system-menu-git

[notify at aur.archlinux.org]

yochananmarqos [1] filed a deletion request for gnome-shell-extension-
extensions-in-system-menu-git [2]:

No longer maintained:
https://extensions.gnome.org/extension/3984/extensions-in-system-menu/

The author suggests using this one instead:

https://aur.archlinux.org/packages/gnome-shell-extension-tweaks-
system-menu-git/

[1] https://aur.archlinux.org/account/yochananmarqos/
[2] https://aur.archlinux.org/pkgbase/gnome-shell-extension-extensions-in-system-menu-git/