This doesn't affect Widelands itself, so it can go straight in
@bunnybot merge
« Back to merge proposal
This doesn't affect Widelands itself, so it can go straight in
@bunnybot merge