So since we don't seem to be able to reproduce the originally-reported issue, is there a benefit in applying Mike's fixes in Comment #2? Or should we mark the bug invalid and move on?
So since we don't seem to be able to reproduce the originally-reported issue, is there a benefit in applying Mike's fixes in Comment #2? Or should we mark the bug invalid and move on?