On Fri, Aug 17, 2018 at 7:15 AM, Peter Eisentraut<peter(dot)eisentraut(at)2ndquadrant(dot)com> wrote:> Attached are my proposed patches.
I take it that you propose all 3 for backpatch to v11?
-- Peter Geoghegan