On Mon, Jul 9, 2018 at 11:24 AM, Alvaro Herrera <[email protected]> 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
On Mon, Jul 9, 2018 at 11:24 AM, Alvaro Herrera <[email protected]> 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