I'll close this bug now. I can not reproduce it, and if it reappears, it is mostly due to other reasons than what was originally reported here, so a new bug should be filed.
I'll close this bug now. I can not reproduce it, and if it reappears, it is mostly due to other reasons than what was originally reported here, so a new bug should be filed.