Thanks for the bug report.
I think this could be the same as bug https://bugs.launchpad.net/widelands/+bug/1251914
So it is maybe a duplicate...
Thanks for the bug report.
I think this could be the same as bug https:/ /bugs.launchpad .net/widelands/ +bug/1251914
So it is maybe a duplicate...