3cbd4c0 Update to git snapshot (git20121211)

Authored and Committed by Jiří Klimeš 11 years ago
    Update to git snapshot (git20121211)
    
        
file modified
+1 -0
file modified
+11 -12
file modified
+1 -1