7e8d6c7 Update to 0.12.25

Authored and Committed by jistone 5 years ago
    Update to 0.12.25
    
        
file modified
+1 -0
file modified
+4 -4
file modified
+5 -1
file modified
+1 -1