Comment 3 for bug 1192046

From my point of view, this bug could be closed. I reported it and the problem later resolved itself - somehow - I don't know how. But it's gone and the bug is probably not worth wasting time on. Not sure whether I should try to close this bug or leave that decision in the hands of the Janitors. Thanks bug-managers!