lp://staging/~widelands-dev/widelands/bug-1797531-playermenu-tribe
Created by
GunChleoc
and last modified
Branch merges
Propose for merging
No branches
dependent on this one.
- Notabilis: Approve
-
Diff: 12 lines (+1/-1)1 file modifiedsrc/editor/ui_menus/player_menu.cc (+1/-1)
Related source package recipes
Related bugs
| Bug #1797531: Player tribes not displayed correctly in editor | Undecided | Fix Released |
|
Related blueprints
Branch information
Recent revisions
This branch has not been scanned yet.
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp://staging/widelands
