Implement Game.relabel_players to reassign the labels of a game's players. - #1065

Implement Game.relabel_players to reassign the labels of a game's players.#1065

tturocy merged 7 commits into

gambitproject:mastergambitproject/gambit:masterfrom

d-kad:relabel_playersd-kad/gambit:relabel_playersCopy head branch name to clipboard