On Mon, Jul 9, 2018 at 11:24 AM, Alvaro Herrera
<alvherre(at)2ndquadrant(dot)com> wrote:
> Maybe we should add an XML comment
> <!-- remember to update "morerows" above -->
> at the end of the table :-)
+1. I made the same mistake at one point.
--
Peter Geoghegan