76897df eliminate some lint errors

Authored and Committed by Jaroslav Kysela 5 years ago
    eliminate some lint errors
    
        
file modified
+5 -3