-
Gregor Michalicek authored
Daniel complained that valgrind complained. But that was not on my machine. Therefore I can only hope that this fixes the problem.
d839bacd
Daniel complained that valgrind complained. But that was not on my machine. Therefore I can only hope that this fixes the problem.