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/
yochananmarqos [1] filed a request to merge gnome-shell-extension-pop-
shell [2] into gnome-shell-extension-pop-shell-git [3]:
There has not been a release in years and System76 will never tag one
again as they are working on their new Cosmic DE. No reason to have
two packages that are now duplica
