widelands

Code review comment for lp:~widelands-dev/widelands/bug-1645844-game-summary

Revision history for this message

Notabilis (notabilis27) wrote on 2018-05-31:

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.