The proposal to merge lp:~widelands-dev/widelands/bug-1783878_editor_random_map_tribe into lp:widelands has been updated.
Commit message changed to: Empty player tribes are interpreted as random tribe. Random Map Generator now assigns a random tribe to all players. - Fix crash when loading a map in the editor where there is a player with no tribe assigned: player loading removed, because it's unused in the editor anyway - Map Editors now can choose "Random" tribe in the player menu - If player tribe is empty in map, set random player in singleplayer game setup For more details, see: https://code.launchpad.net/~widelands-dev/widelands/bug-1783878_editor_random_map_tribe/+merge/352943 -- Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/bug-1783878_editor_random_map_tribe. _______________________________________________ Mailing list: https://launchpad.net/~widelands-dev Post to : [email protected] Unsubscribe : https://launchpad.net/~widelands-dev More help : https://help.launchpad.net/ListHelp
