Mon, 13 May 2019 20:25:32 +0200 Wuzzy Don't remove gstWinner after GameOver
Mon, 13 May 2019 14:19:45 -0400 nemo just to get it to build
Mon, 13 May 2019 14:30:12 +0200 Anton Malmygin Fix most CI builds
(0) -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 tip