We have found out what the actual bug is and filed it as https://bugs.launchpad.net/widelands/+bug/1738641
The relabelling has been done.
We have found out what the actual bug is and filed it as https:/ /bugs.launchpad .net/widelands/ +bug/1738641
The relabelling has been done.