[PRQ#65716] Deletion Request for gnome-shell-extension-launch-new-instance Accepted

[notify]

Request #65716 has been Accepted by bertptrs [1]:

[Autogenerated] Accepted deletion for gnome-shell-extension-launch-
new-instance.

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