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
