spjspj aebc16dc82 Merge pull request #4476 from spjspj/master ... Scenario I was testing for this fix:		2018-02-03 18:45:52 +11:00
..
HumanPlayer.java	Merge pull request #4476 from spjspj/master	2018-02-03 18:45:52 +11:00
PlayerResponse.java	Fixed player leaving/conceding handling.	2017-10-21 16:13:45 +02:00