On 08/02/2015 10:04 PM, Tom Lane wrote:
> Heikki Linnakangas <hlinnaka@iki.fi> writes:
>> On 08/02/2015 08:18 PM, Fabien COELHO wrote:
>>> The simpler the better. Works for me.
>
>> Ok, committed. Thanks!
>
> I guess you forgot "git push"?
Yep, pushed now for real.
- Heikki