Re: Doc patch, distinguish sections with an empty row in error code table - Mailing list pgsql-hackers

On Fri, Oct 26, 2012 at 10:03 AM, Karl O. Pinc <kop@meme.com> wrote:
> This patch adds an empty row before each section header
> in the error codes table in the docs.
>
> I tried not putting an empty row before the first
> section, but it looks better to always have
> an empty row.  IMO.
>
> File: errorcode_table.patch
>
> Applies against head.

This doesn't seem like a particularly good idea to me, but what do
other people think?

-- 
Robert Haas
EnterpriseDB: http://www.enterprisedb.com
The Enterprise PostgreSQL Company