Sorry - I did change the bug status prematurely. I don't think it's necessary to open a separate bug.
Sorry - I did change the bug status prematurely. I don't think it's necessary to open a separate bug.