On Sat, Mar 31, 2018 at 7:52 PM, Esteban Lorenzano <[email protected]> wrote:
> > > On 31 Mar 2018, at 17:17, Peter Uhnák <[email protected]> wrote: > > What does this means for end users? > > > nothing. > we are removing some *users* of glamour. > Not glamour itself and certainly not the gttools that use glamour > intensively (and they allow easy extension). > Aaah. My heart skipped originally, now I am at peace. :) ps: but there are leaks around we would like to discover how and when they > happen (because they are not so many and not evident). Any help there is > welcome :) I'll keep that in mind, although I don't usually check whether there are any pointers dangling. Thanks! Peter
