The proposal to merge lp:~widelands-dev/widelands/add_player_to_note_economy into lp:widelands has been updated.
Commit Message changed to: Replace economy identifications through using pointers in the UI code. This works since these identifiers are never sent over the network and economy pointers are unique identifiers for economies. Fixes 1732765, but that includes discussion of further issues with the prior code. For more details, see: https://code.launchpad.net/~widelands-dev/widelands/add_player_to_note_economy/+merge/334371 -- Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/add_player_to_note_economy. _______________________________________________ Mailing list: https://launchpad.net/~widelands-dev Post to : [email protected] Unsubscribe : https://launchpad.net/~widelands-dev More help : https://help.launchpad.net/ListHelp
