Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
dedup game end event in bot/board API - closes #61
ignore the move event if the game is finished, because we also get a FinishGame event then.
- Loading branch information