← Back to branch summary

~widelands-dev/widelands/trunk

Viewing all changes in revision 8901.

Merged lp:~widelands-dev/widelands/bug-1797531-playermenu-tribe:
Fix initialization of last player dropdown in editor player menu

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: