Thanks, Jerry! Pushed as r15-6053.
Am 08.12.24 um 23:57 schrieb Jerry Delisle:
Looks good, OK to push. On Sun, Dec 8, 2024, 1:39 PM Harald Anlauf <anl...@gmx.de> wrote:Dear all, while looking at testcases with inquiry refs, I encountered two minor GMP memleaks due to double-initialization of GMP variables. Easily plugged by the attached patch. Regtested on x86_64-pc-linux-gnu. I intend to commit as obvious within 24h unless there are objections. Thanks, Harald