Thanks Marius, your suggestion did the trick.
Now, should we close this bug? It is possible that the problem still exists, but it may be so unlikely/rare that it's not worth leaving this bug open. Any thoughts?
Thanks Marius, your suggestion did the trick.
Now, should we close this bug? It is possible that the problem still exists, but it may be so unlikely/rare that it's not worth leaving this bug open. Any thoughts?