I have added Janosch to widelands-dev, so you can work on the branch together if you want.
@Janosch: There is a "Change Branch Details" link on the top right where you can change the branch owner to widelands-dev.
I have added Janosch to widelands-dev, so you can work on the branch together if you want.
@Janosch: There is a "Change Branch Details" link on the top right where you can change the branch owner to widelands-dev.