On Thu, Apr 2, 2015 at 4:24 PM, Petr Jelinek <p...@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 -- Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers
