On Tue, May 8, 2012 at 4:56 PM, Markus Unterwaditzer <mar...@unterwaditzer.net> wrote: > The forked mutter window manager for the GNOME3 shellshape extension > isn't needed anymore in recent versions of the GNOME shell. > > It would be nice if you delete it. > > https://aur.archlinux.org/packages.php?ID=50256
Removed, thanks.
