723de53 Remove workaround for valgrind bug (#1600034)

Authored and Committed by fweimer 5 years ago
    Remove workaround for valgrind bug (#1600034)
    
        
file removed
-32
file modified
+5 -12