Merge lp:~widelands-dev/widelands/bug1203337 into lp:widelands
Proposed by
cghislai
on 2013-07-23
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 | 2013-07-23 | Approve on 2013-07-23 | |
Review via email:
|
Description of the change
Translate the current game map name as well
To post a comment you must log in.
SirVer (sirver) wrote : | # |
I wish launchpad would merge after so and so many lgtm....
lgtm. Merged.