Merge lp:~widelands-dev/widelands/bug-1636586-editor-player-menu-i18n into lp:widelands
Proposed by
GunChleoc
Status: | Merged |
---|---|
Merged at revision: | 8710 |
Proposed branch: | lp:~widelands-dev/widelands/bug-1636586-editor-player-menu-i18n |
Merge into: | lp:widelands |
Diff against target: |
31 lines (+11/-3) 1 file modified
src/map_io/map_player_names_and_tribes_packet.cc (+11/-3) |
To merge this branch: | bzr merge lp:~widelands-dev/widelands/bug-1636586-editor-player-menu-i18n |
Related bugs: |
Reviewer | Review Type | Date Requested | Status |
---|---|---|---|
Notabilis | diff | Approve | |
Review via email: mp+345464@code.launchpad.net |
Commit message
Fixed mix of localized / unlocalized default player names in editor. Default names are now saved as empty strings.
To post a comment you must log in.
Continuous integration builds have changed state:
Travis build 3504. State: passed. Details: https:/ /travis- ci.org/ widelands/ widelands/ builds/ 378151938. /ci.appveyor. com/project/ widelands- dev/widelands/ build/_ widelands_ dev_widelands_ bug_1636586_ editor_ player_ menu_i18n- 3309.
Appveyor build 3309. State: success. Details: https:/