ca3c77b Revert b69d36e571

Authored and Committed by zbyszek 7 years ago
    Revert b69d36e571
    
    This was already fixed in e134e692b6.
    
        
file modified
+3 -6