On Fri, Feb 14, 2025 at 6:09 PM Thomas Munro <thomas.mu...@gmail.com> wrote: > > > Agreed that right now is a bad time to push this to v17 --- we need to > > keep the risk factors as low as possible for the re-release. Master > > now and v17 after the re-wrap seems like the right compromise. > > Cool, will push to master. Melanie, could you please confirm that > this patch works for you? I haven't figured out what I'm doing wrong > but my local Valgrind doesn't seem to show the problem (USE_VALGRIND > defined, Debian's Valgrind v3.19.0).
It fixed the issue (after an off-list correction to the patch by Thomas). - Melanie
