be6510e this is not needed

Authored and Committed by dtardon 6 years ago
    this is not needed
    
    In fact, it is unclear why it was added...
    
        
file modified
+6 -8