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