5e86d91 - Use upstream's attempt at fixing #512623 instead of mine, which didn't

Authored and Committed by jjames 14 years ago
    - Use upstream's attempt at fixing #512623 instead of mine, which didn't
        work.
    
        
file modified
+52 -10
file modified
+5 -2