Re: Non-reproducible valgrind failure on HEAD

[Tom Lane]

Andres Freund <and...@anarazel.de> writes:
> On 2021-05-09 18:17:36 -0400, Tom Lane wrote:
>> Proposed comment patch attached.

> lgtm.

Pushed, thanks.

                        regards, tom lane