File numeric-limits.patch of Package springrts
diff -Nur spring_106.0/rts/Game/GameData.cpp spring_106.0-patched/rts/Game/GameData.cpp --- spring_106.0/rts/Game/GameData.cpp 2021-01-01 18:26:15.000000000 +0100 +++ spring_106.0-patched/rts/Game/GameData.cpp 2022-02-06 21:34:01.489841832 +0100 @@ -1,6 +1,7 @@ /* This file is part of the Spring engine (GPL v2 or later), see LICENSE.html */ #include <cassert> +#include <limits> #include "GameData.h"