Bug#766595: Gnome-shell leaks memory

2018-11-08 Thread Mike Hommey
On Fri, Nov 02, 2018 at 05:54:28PM +0900, Mike Hommey wrote: > On Fri, May 11, 2018 at 11:28:48PM +0200, fmn...@gmail.com wrote: > > I have news regarding this bug (or at least I believe this is the same > > bug). > > > > GNOME devs have found a "memory leak" in gnome-shell's garbage > > collectio

Bug#766595: Gnome-shell leaks memory

2018-11-02 Thread Mike Hommey
On Fri, May 11, 2018 at 11:28:48PM +0200, fmn...@gmail.com wrote: > I have news regarding this bug (or at least I believe this is the same > bug). > > GNOME devs have found a "memory leak" in gnome-shell's garbage > collection, when related to GJS. They have merged the fix into the > development b

Bug#766595: Gnome-shell leaks memory

2018-05-11 Thread fmneto
I have news regarding this bug (or at least I believe this is the same bug). GNOME devs have found a "memory leak" in gnome-shell's garbage collection, when related to GJS. They have merged the fix into the development branch (GNOME 3.30) and are going to (probably) merge into the 3.28 version as