From f122f9f1fc729e2dc82e12c3ce73efa875182854 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9mi=20Verschelde?= <rverschelde@gmail.com>
Date: Wed, 7 Jun 2023 11:32:14 +0200
Subject: [PATCH] sdk: Common: Add `stdint.h` include to `platform_utils.hpp`
 for GCC 13+

GCC 13 seems to have changed some implicit includes in standard headers, and
now `stdint.h` needs to be included explicitly to use `uint16_t` in this file.
---
 changes/sdk/pr.406.gh.OpenXR-SDK-Source.md | 1 +
 src/common/platform_utils.hpp              | 1 +
 2 files changed, 2 insertions(+)
 create mode 100644 changes/sdk/pr.406.gh.OpenXR-SDK-Source.md

diff --git a/changes/sdk/pr.406.gh.OpenXR-SDK-Source.md b/changes/sdk/pr.406.gh.OpenXR-SDK-Source.md
new file mode 100644
index 000000000..23da706a0
--- /dev/null
+++ b/changes/sdk/pr.406.gh.OpenXR-SDK-Source.md
@@ -0,0 +1 @@
+Common: Add `stdint.h` include to `platform_utils.hpp` for GCC 13+
diff --git a/src/common/platform_utils.hpp b/src/common/platform_utils.hpp
index 6ea95f4ef..123383d55 100644
--- a/src/common/platform_utils.hpp
+++ b/src/common/platform_utils.hpp
@@ -11,6 +11,7 @@
 
 #include "xr_dependencies.h"
 #include <string>
+#include <stdint.h>
 #include <stdlib.h>
 
 // OpenXR paths and registry key locations