added showing player number if network game was stopped by remote player
authorHolger Schemel <info@artsoft.org>
Sun, 1 Jul 2018 11:18:43 +0000 (13:18 +0200)
committerHolger Schemel <info@artsoft.org>
Sun, 1 Jul 2018 11:18:43 +0000 (13:18 +0200)

No differences found