Crash reported in https://bugs.launchpad.net/widelands/+bug/1687542/comments/5
This one seems somewhat different.
Crash reported in https:/ /bugs.launchpad .net/widelands/ +bug/1687542/ comments/ 5
This one seems somewhat different.