I think this is https://bugs.launchpad.net/widelands/+bug/1531114. I will look into that soonish. Can this branch go in?
« Back to merge proposal
I think this is https:/ /bugs.launchpad .net/widelands/ +bug/1531114. I will look into that soonish. Can this branch go in?