81-gui-player-management to address this issue created branch 81-gui-player-management to address this issue
mentioned in merge request !44 (merged)
mentioned in issue #77 (closed)
changed milestone to %Simulation Human-Agent Playable
mentioned in commit 9e58ecdf
closed with merge request !44 (merged)