e6803cd Rebase to 20111219, Revert default stack size to 10000

Authored and Committed by Petr Machata 12 years ago
    Rebase to 20111219, Revert default stack size to 10000
    
        
file modified
+1 -0
file modified
+13 -1
file modified
+1 -1