I am not sure the bug should be closed. David's fix made system behavior tolerable to users (because the error is now only reported once) but the problem is still there. If possible I'd suggest lowering bug's priority but keeoping it open.
I am not sure the bug should be closed. David's fix made system behavior tolerable to users (because the error is now only reported once) but the problem is still there. If possible I'd suggest lowering bug's priority but keeoping it open.