ca3c77 Revert b69d36e571

Authored and Committed by Zbigniew Jędrzejewski-Szmek 7 years ago
    Revert b69d36e571
    
    This was already fixed in e134e692b6.
    
        
file modified
+3 -6