On Thu, 14 Mar 2019 at 02:10, Robert Haas <robertmhaas@gmail.com> wrote:
>
> On Tue, Mar 12, 2019 at 7:28 PM David Rowley
> <david.rowley@2ndquadrant.com> wrote:
> > I think I've done that in the attached patch.
>
> Cool, thanks.
Just so I don't forget about this, I've added it to the July 'fest.
https://commitfest.postgresql.org/23/2065/
--
David Rowley http://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Training & Services