ec108dc Update to 0.12.1

Authored and Committed by gicmo 4 years ago
    Update to 0.12.1
    
    New upstream release. Also delete obsolete and unused patch.
    
        
file modified
+5 -2