Merge pull request #17258 from ahmedmoselhi/patch-1

fix build error: "unknown type name uint32_t"
This commit is contained in:
Henrik Rydgård authored and GitHub committed 2023-04-09 22:01:31 +02:00
commit a3e1a51c4d
1 file changed
+1
+1
View File
@@ -3,6 +3,7 @@
#include <string>
#include <vector>
#include <functional>
#include <stdint.h>
// Platform integration