Hi Jean-Baptiste, thanks! Indeed, I also noticed the problem you mention in comment 5 and I have reported it separately in bug 777583 (see my note at the end of comment 3). I have committed a fix for that one and that'll come along with 4.0.2 when it is ready.
Hi Jean-Baptiste, thanks! Indeed, I also noticed the problem you mention in comment 5 and I have reported it separately in bug 777583 (see my note at the end of comment 3). I have committed a fix for that one and that'll come along with 4.0.2 when it is ready.
Thanks again!