Re: Protecting allocator headers with Valgrind

[David Rowley]

On Wed, 12 Apr 2023 at 01:28, David Rowley <dgrowle...@gmail.com> wrote:
> Any objections?

It seems there are none. I'll have another look at the patch tomorrow
with the aim to get it in.

(Unless someone objects to me doing that before then)

David