32e777c Remove useless patch thanks to gcc upgrade

Authored and Committed by sergesanspaille 5 years ago
    Remove useless patch thanks to gcc upgrade
    
        
file modified
+4 -3