Merge lp:~widelands-dev/widelands/bug1203337 into lp:widelands
Proposed by
cghislai
Status: | Merged |
---|---|
Merged at revision: | 6657 |
Proposed branch: | lp:~widelands-dev/widelands/bug1203337 |
Merge into: | lp:widelands |
Diff against target: |
15 lines (+5/-1) 1 file modified
src/wui/game_main_menu_save_game.cc (+5/-1) |
To merge this branch: | bzr merge lp:~widelands-dev/widelands/bug1203337 |
Related bugs: |
Reviewer | Review Type | Date Requested | Status |
---|---|---|---|
SirVer | Approve | ||
Review via email: mp+176409@code.launchpad.net |
Description of the change
Translate the current game map name as well
To post a comment you must log in.
lgtm. Merged.