8 May
2012
8 May
'12
3:59 p.m.
On Tue, May 8, 2012 at 4:56 PM, Markus Unterwaditzer
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.
Removed, thanks.