On 03/12/2014 02:05 PM, Robert Haas wrote:
> On Wed, Mar 12, 2014 at 4:23 AM, Heikki Linnakangas
> <hlinnakangas@vmware.com> wrote:
>>> The attached patch doesn't apply any more, but it looks like this
>>> issue still exists.
>>
>> Fixed.
>
> Did you forget to push?
Yep. Pushed now.
- Heikki