Comment 17 for bug 877766

Hi All, I've changed jobs and no longer have access to the particular configuration which triggered this bug. However, based on the comments of others, I feel fully confident that it's been fixed. Thanks very much; it's great to see things constantly get better!