231c0a6 - Update to 2.3.12

Authored and Committed by Behdad Esfahbod 14 years ago
    - Update to 2.3.12
    - Drop mathlib patch
    
        
file modified
+3 -3
file modified
+9 -8
file modified
+3 -3