On Thu, Apr 2, 2015 at 4:24 PM, Petr Jelinek <petr@2ndquadrant.com> wrote:
>> Thanks. I actually pushed a fix for that about 25 minutes ago;
>> hopefully that is all that is needed.
>
> Ok, the git.pg.org was somewhat behind. It did fix it for me when I tested
> it locally.
OK, that's good to know. So far the buildfarm looks happy too, but
I'll try to keep an eye on it at least for the next hour or so.
--
Robert Haas
EnterpriseDB: http://www.enterprisedb.com
The Enterprise PostgreSQL Company
