March 31, 2018
6:58 p.m.
On Sat, Mar 31, 2018 at 7:52 PM, Esteban Lorenzano <estebanlm@gmail.com> wrote:
On 31 Mar 2018, at 17:17, Peter Uhnák <i.uhnak@gmail.com> 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