Heikki Linnakangas <hlinnaka(at)iki(dot)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"?
regards, tom lane