Hi,
On 2019-05-06 22:54:43 -0400, Tom Lane wrote:
> Andres Freund <andres@anarazel.de> writes:
> > I think we ought to backpatch a version of this fix.
>
> Uh ... what fix are you talking about?
Michael's email had a proposed patch. I think there's a few small
changes needed, but otherwise it looks like the right direction to me.
Greetings,
Andres Freund