On 2019-Jun-01, Tom Lane wrote:
> Alvaro Herrera <alvherre@2ndquadrant.com> writes:
> > I ended up with these two patches. I'm not sure about pushing
> > separately. It seems pointless to backport the "fix" to back branches
> > anyway.
>
> Patch passes the eyeball test, though I did not try to run it.
> I concur with squashing into one commit and applying to HEAD only.
Okay, pushed. Let's see how it does, now.
--
Álvaro Herrera https://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services