Change type of GamePlayerRep::m_infosets from Array to std::vector#493

d-kad wants to merge 1 commit intogambitproject:mastergambitproject/gambit:masterfrom

d-kad:issue_489d-kad/gambit:issue_489Copy head branch name to clipboard