Thanks for your information. I do not know but indeed then we will should have a look.
On Sun, Feb 11, 2018 at 9:40 PM, Peter Uhnák <i.uh...@gmail.com> wrote: > I sometimes use the Eye Pointer Inspector to find memory leaks ... is there > a replacement for that? > > Peter > > On Sun, Feb 11, 2018 at 9:29 PM, Stephane Ducasse <stepharo.s...@gmail.com> > wrote: >> >> I would vote for. >> >> Stef >> >