On Sat, Jun 4, 2016 at 2:56 AM, Robert Haas <[email protected]> wrote: > 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.
Thanks you. -- Michael -- Sent via pgsql-hackers mailing list ([email protected]) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers
