Hi, On 2019-05-06 22:54:43 -0400, Tom Lane wrote: > Andres Freund <and...@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