[PRQ#58651] Merge Request for gnome-shell-extension-pop-shell Accepted

[notify]

Request #58651 has been Accepted by muflone [1]:

[Autogenerated] Accepted merge for gnome-shell-extension-pop-shell
into gnome-shell-extension-pop-shell-git.

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