Hi Harald, Good call! Thanks for the patch.
Paul On Fri, 14 Aug 2026 at 20:39, Harald Anlauf <[email protected]> wrote: > > Dear all, > > I pushed the attached obvious patch to plug minor frontend memleaks > with GMP variables introduced at r16-8564 and found with valgrind > as r17-3302-g038a334a1f5d28. > > Thanks, > Harald >
