edfd25d Fix build with GCC

Authored and Committed by tpopela 6 years ago
    Fix build with GCC
    
        
file added
+25
file modified
+3 -0