Comment 11 for bug 712322

A number of different bugs in this area have been fixed since this bug was reported. The final one that I can think of that might cause something like this was fixed in r1435 (about three weeks ago). I'm going to close this bug as "Fix committed" now. If you can still reproduce this issue, please set it back to "New" or comment here or something. Thanks!