Ok. I'm marking it as fixed. Do not hesitate to reopen the bug report if you experience it again.
Thanks a lot for reporting this. Too bad nobody reported it before final though.
Ok. I'm marking it as fixed. Do not hesitate to reopen the bug report if you experience it again.
Thanks a lot for reporting this. Too bad nobody reported it before final though.