On Thu, Oct 29, 2015 at 2:40 AM, Robins <robins@pobox.com> wrote:
> Was reviewing recent commits, and it seems the following commit adds an
> extra line to some comments. Just wanted to cross-check if that was
> intentional.
I don't see that it changed any comments at all?
--
Robert Haas
EnterpriseDB: http://www.enterprisedb.com
The Enterprise PostgreSQL Company