> This test was failing in CVS checkout from September, 3rd, seems to > be fixed now. It certainly doesn't hurt to make sure the bug won't > come up again... Certainly so. I think we have been trying to put every failing case into a test program, and we should certainly try not to miss any future cases that show up.