On Thu, 14 Mar 2019 at 02:10, Robert Haas <robertmh...@gmail.com> wrote: > > On Tue, Mar 12, 2019 at 7:28 PM David Rowley > <david.row...@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