On Mon, Apr 28, 2014 at 4:24 PM, Petr Jelinek <petr(at)2ndquadrant(dot)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