Thomas Waldmann b2ffb8bd65 make the C compiler happy, fixes #3490 7 lat temu
..
borg b2ffb8bd65 make the C compiler happy, fixes #3490 7 lat temu