f1650dc Update to 4.2.12 (#1463027)

Authored and Committed by Jiri Konecny 6 years ago
    Update to 4.2.12 (#1463027)
    
        
file modified
+1 -0
file modified
+4 -1
file modified
+1 -1