7b05188 revert to 0.7.1

Authored and Committed by petersen 5 years ago
    revert to 0.7.1
    
    0.7.2 needs base >= 4.11
    
    This reverts commit 9841cf47815f3c9eacbae0ff7d6cf5923b042df6.
    
        
file modified
+0 -1
file modified
+1 -5
file modified
+1 -1