[PRQ#56911] Deletion Request for gnome-shell-extension-topicons-plus-huttli-git Accepted

[notify]

Request #56911 has been Accepted by serebit [1]:

[Autogenerated] Accepted deletion for gnome-shell-extension-topicons-
plus-huttli-git.

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