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

Reply via email to