On 2018-May-30, Michael Paquier wrote:
> On Wed, May 30, 2018 at 01:30:08PM -0400, Alvaro Herrera wrote:
> > I do not think that patch does what you think it does.
>
> Oops. Sorry another patch got on the way. Here you go.
Okay, pushed. Because of the sgml to xml conversion, it didn't apply to
pg10 cleanly.
--
Álvaro Herrera https://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services