[PRQ#65718] Deletion Request for gnome-shell-extension-system-monitor Accepted

Request #65718 has been Accepted by bertptrs [1]: [Autogenerated] Accepted deletion for gnome-shell-extension-system- monitor. [1] https://aur.archlinux.org/account/bertptrs/