On 2019-Nov-13, Smith, Peter wrote: > From: Thomas Munro <thomas.mu...@gmail.com> Sent: Monday, 4 November 2019 > 1:43 PM > > > No comment on the patch but I noticed that the documentation changes don't > > build. Please make sure you can "make docs" successfully, having installed > > the documentation tools[1]. > > Thanks for the feedback. An updated patch which fixes the docs issue is > attached.
So, who is updating this patch for the new cmdtaglist.h stuff? -- Álvaro Herrera https://www.2ndQuadrant.com/ PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services