On Mon, Apr 28, 2014 at 4:24 PM, Petr Jelinek <p...@2ndquadrant.com> wrote:
> Yes, the patch fixes it for me.

OK.  I committed it.  Thanks for the report.

-- 
Robert Haas
EnterpriseDB: http://www.enterprisedb.com
The Enterprise PostgreSQL Company


-- 
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