On Fri, Feb 14, 2025 at 6:09 PM Thomas Munro <thomas.munro@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