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
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