From 709e898c515a7455567cc898e930930d74c8f8a6 Mon Sep 17 00:00:00 2001
From: Kai Philipp <kphilipp@inquies.de>
Date: Tue, 10 Sep 2019 04:36:13 +0200
Subject: [PATCH] bugfix

---
 src/net/servergame.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/net/servergame.h b/src/net/servergame.h
index fe3a125c..7f397561 100644
--- a/src/net/servergame.h
+++ b/src/net/servergame.h
@@ -148,6 +148,7 @@ protected:
 	void SetPlayerPlace(unsigned playerId, int place);
 	void ReplaceRankingPlayer(unsigned oldPlayerId, unsigned newPlayerId);
 	void StoreAndResetRanking();
+	void StoreLastGames();
 	void RemoveAutoLeavePlayers();
 	void InternalEndGame();