On Tue, Mar 28, 2017 at 1:34 AM, Teodor Sigaev <teo...@sigaev.ru> wrote:
> Thank you, pushed.

Thanks!

Do you think that this qualifies as a bug fix for a backpatch? I would
think so, but I would not mind waiting for some dust to be on it
before considering applying that on back-branches. Thoughts from
others?
-- 
Michael


-- 
Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org)
To make changes to your subscription:
http://www.postgresql.org/mailpref/pgsql-hackers

Reply via email to