On 2019-Jun-01, Tom Lane wrote: > Alvaro Herrera <alvhe...@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
