34bb2e2 Update to 1.7.2

3 files Authored by humaton 9 years ago, Committed by Michael Adam 9 years ago,
    Update to 1.7.2
    
    (cherry picked from commit 7ed4ada8c1f224d7c97ea8676773fda072d78075)
    
        
file modified
+1 -0
file modified
+1 -1
file modified
+15 -7