From e28d14d16d67708ca19ac9f1f0b9d7aad43797f3 Mon Sep 17 00:00:00 2001
From: Laserlicht <13953785+Laserlicht@users.noreply.github.com>
Date: Tue, 24 Oct 2023 18:56:30 +0200
Subject: [PATCH] not needed anymore

---
 client/lobby/RandomMapTab.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/client/lobby/RandomMapTab.h b/client/lobby/RandomMapTab.h
index a5d7b59ba..37b72f4ac 100644
--- a/client/lobby/RandomMapTab.h
+++ b/client/lobby/RandomMapTab.h
@@ -27,7 +27,6 @@ class CLabel;
 class CLabelGroup;
 class CSlider;
 class CPicture;
-class FilledTexturePlayerColored;
 
 class RandomMapTab : public InterfaceObjectConfigurable
 {