[PRQ#88562] Deletion Request for gnome-shell-extension-drop-down-terminal Accepted

[notify]

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

[Autogenerated] Accepted deletion for gnome-shell-extension-drop-down-
terminal.

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