Merge commit '200ef41fce5071a2032ef34e4ba64b71368cfccd' into merrp-merge

2025-06-25 17:22:22 +02:00 · 2025-06-25 17:22:22 +02:00 · 7db0d5c908
commit 7db0d5c908
parent 80ec5ff409 200ef41fce
1 changed files with 1 additions and 0 deletions
--- a/tools/mapjson/json11.cpp
+++ b/tools/mapjson/json11.cpp
@ -20,6 +20,7 @@
 #include "json11.h"
 #include <cassert>
 #include <cmath>
+#include <cstdint>
 #include <cstdlib>
 #include <cstdio>
 #include <limits>