← Back to team overview

widelands-dev team mailing list archive

Re: [Merge] lp:~widelands-dev/widelands/bug-1645844-game-summary into lp:widelands


The variable is only used in that line and in the following line, so its no problem renaming it by hand. But feel free to merge this as it is.
Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/bug-1645844-game-summary.