Hi!
>> Shall I merge this fix up now?
>
> head works fine for me
> +1 for merge
Ok, I am short of time today, so I didn't wait about any additional vote.
Its merged-up now, feel free to revert if you didnt like this
fix/workaround.

Ciao,
Mario

Reply via email to