On Fri, 23 Nov 2018 at 17:03, David Rowley <david(dot)rowley(at)2ndquadrant(dot)com> wrote:
> Here's a patch for that. Parking here until January's commitfest.
And another, now rebased atop of de38ce1b8 (which I probably should
have waited for).
--
David Rowley http://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Training & Services