27688d4 Improved solution to RH bugreport #1347423. Used -DNDEBUG flag instead of patching source code

Authored and Committed by germano 7 years ago
    Improved solution to RH bugreport #1347423. Used -DNDEBUG flag instead of patching source code
    
        
file modified
+6 -4