On Wed, Mar 12, 2014 at 4:23 AM, Heikki Linnakangas
<[email protected]> wrote:
>> The attached patch doesn't apply any more, but it looks like this
>> issue still exists.
>
> Fixed.

Did you forget to push?

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


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

Reply via email to