On Thu, Feb 9, 2017 at 8:17 PM, Michael Paquier
<michael.paquier@gmail.com> wrote:
> Please find attached a patch with those fixes.
Committed, but I changed the copyright dates to 2016-2017 rather than
just 2017 since surely some of the code was originally written before
2017. Even that might not really be going back far enough, but it
doesn't matter too much.
--
Robert Haas
EnterpriseDB: http://www.enterprisedb.com
The Enterprise PostgreSQL Company