right, maybe we should take this to widelands-public which is still the goto place to discuss dev topics.
« Back to merge proposal
right, maybe we should take this to widelands-public which is still the goto place to discuss dev topics.