Since I cannot reproduce the problem I reported, I am satisfied that the bug has been fixed, although I can not say how or when. I hereby close the bug.
Since I cannot reproduce the problem I reported, I am satisfied that the bug has been fixed, although I can not say how or when. I hereby close the bug.