On Wed, May 30, 2018 at 02:14:42PM -0400, Alvaro Herrera wrote:> Okay, pushed. Because of the sgml to xml conversion, it didn't apply to> pg10 cleanly.
Thanks Álvaro.--Michael