From eba9a1ab893ea163e1d5119c33f862862413688d Mon Sep 17 00:00:00 2001
From: Jon Eugster <eugster.jon@gmail.com>
Date: Fri, 8 Dec 2023 01:40:29 +0100
Subject: [PATCH] bump gameserver

---
 Game.lean          | 2 +-
 lake-manifest.json | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/Game.lean b/Game.lean
index 92fbc8b..1f82ebb 100644
--- a/Game.lean
+++ b/Game.lean
@@ -22,7 +22,7 @@ Languages "English"
 CaptionShort "Game Template"
 CaptionLong "You should use this game as a template for your own game and add your own levels."
 -- Prerequisites "" -- add this if your game depends on other games
--- Image "" -- TODO: Not implemented
+-- CoverImage "images/cover.png"
 
 /-! Build the game. Show's warnings if it found a problem with your game. -/
 MakeGame
diff --git a/lake-manifest.json b/lake-manifest.json
index 0b7981d..0331f48 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -13,7 +13,7 @@
   {"url": "https://github.com/leanprover-community/lean4game.git",
    "type": "git",
    "subDir": "server",
-   "rev": "f6a2632d80c22a28a3b6e099a4800b027cc2d685",
+   "rev": "d5697d052e5154b909f379073a591ebf66eb3e22",
    "name": "GameServer",
    "manifestFile": "lake-manifest.json",
    "inputRev": "v4.3.0",