Thomas Waldmann b2ffb8bd65 make the C compiler happy, fixes #3490 il y a 7 ans
..
borg b2ffb8bd65 make the C compiler happy, fixes #3490 il y a 7 ans