Am 26.11.24 um 21:09 schrieb Paul Richard Thomas:
Hi Harald,Looks good to me. Thanks Paul
Thanks, Paul. Pushed as r15-5701-geff7e72815ada5 .
On Tue, 26 Nov 2024 at 19:51, Harald Anlauf <anl...@gmx.de> wrote:Dear all, the attached patch fixes two minor front-end memleaks I saw when working on recent PRs (pr117774 is one of them) and running f951 under valgrind. Regtested on x86_64-pc-linux-gnu. OK for mainline? Thanks, Harald