[Bug 880394] Gnome 3.10 / Gnome-Shell has a memory leak