On Wed, Jun 1, 2016 at 7:39 PM, Michael Paquier <[email protected]> wrote: >> In short, I'd vote for putting this change in HEAD, but I see no need to >> back-patch. > > OK, fine for me.
Done. -- Robert Haas EnterpriseDB: http://www.enterprisedb.com The Enterprise PostgreSQL Company -- Sent via pgsql-hackers mailing list ([email protected]) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers
