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